Search Sciweavers | Sciweavers

6608 search results - page 222 / 1322

» On the Completeness of Model Checking

161

click to vote

PST
2008

104views Security Privacy» more PST 2008»

Model-Checking for Software Vulnerabilities Detection with Multi-Language Support

15 years 7 months ago

Download users.encs.concordia.ca

In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...

Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Moura...

claim paper

Read More »

131

click to vote

DAGSTUHL
2006

122views Software Engineering» more DAGSTUHL 2006»

06172 Abstracts Collection -- Directed Model Checking

15 years 7 months ago

Download drops.dagstuhl.de

Stefan Edelkamp, Stefan Leue, Willem Visser

claim paper

Read More »

110

click to vote

AIPS
1998

81views Artificial Intelligence» more AIPS 1998»

Strong Planning in Non-Deterministic Domains Via Model Checking

15 years 7 months ago

Download www.cs.cmu.edu

Alessandro Cimatti, Marco Roveri, Paolo Traverso

claim paper

Read More »

132

Voted

CASCON
2000

98views Education» more CASCON 2000»

Model checking the composition of hypermedia design components

15 years 7 months ago

Download www.utdallas.edu

Jing Dong

claim paper

Read More »

105

click to vote

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers