Search Sciweavers | Sciweavers

2878 search results - page 175 / 576

» Model Checking FTA

125

Voted

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 5 months ago

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »

106

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 5 months ago

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »

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 »

134

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 »

103

Voted

DAGSTUHL
2006

122views Software Engineering» more DAGSTUHL 2006»

06172 Abstracts Collection -- Directed Model Checking

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers