Search Sciweavers | Sciweavers

12981 search results - page 239 / 2597

» Model Checking (Abstract)

100

Voted

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

15 years 4 months ago

Download www.ulb.ac.be

Gabriel Kalyon, Thierry Massart, Cédric Meu...

claim paper

Read More »

133

Voted

PST
2008

104views Security Privacy» more PST 2008»

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

15 years 4 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 »

click to vote

EUMAS
2006

107views Intelligent Agents» more EUMAS 2006»

Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete

15 years 4 months ago

Download www.in.tu-clausthal.de

Wojciech Jamroga, Jürgen Dix

claim paper

Read More »

Voted

AIPS
1998

81views Artificial Intelligence» more AIPS 1998»

Strong Planning in Non-Deterministic Domains Via Model Checking

15 years 4 months ago

Download www.cs.cmu.edu

Alessandro Cimatti, Marco Roveri, Paolo Traverso

claim paper

Read More »

109

click to vote

CASCON
2000

98views Education» more CASCON 2000»

Model checking the composition of hypermedia design components

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers