Sciweavers

1054 search results - page 8 / 211

» Abstract Regular Model Checking

66

TACAS
2007
Springer

98views Algorithms» more TACAS 2007»

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking

15 years 3 months ago

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking

Download www.informatik.uni-freiburg.de

Sebastian Kupferschmid, Klaus Dräger, Jö...

claim paper

Read More »

69

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

15 years 3 months ago

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

Download www.sigda.org

Kairong Qian, Albert Nymeyer

claim paper

Read More »

63

Voted

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

15 years 2 months ago

Boolean and Cartesian Abstraction for Model Checking C Programs

Download www.inf.uni-konstanz.de

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

claim paper

Read More »

51

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

14 years 11 months ago

Temporal Logic Model Checking (Abstract)

Download www.info2.uqam.ca

Edmund M. Clarke

claim paper

Read More »

71

SLP
1997

49views more SLP 1997»

Model Checking (Abstract)

14 years 11 months ago

Model Checking (Abstract)

Download www.cs.utah.edu

Rob Gerth

claim paper

Read More »

« Prev « First page 8 / 211 Last » Next »