Sciweavers

1054 search results - page 8 / 211

» Abstract Regular Model Checking

21

TACAS
2007
Springer

98views Algorithms» more TACAS 2007»

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

14 years 1 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 »

24

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

14 years 29 days ago

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

Download www.sigda.org

Kairong Qian, Albert Nymeyer

claim paper

Read More »

20

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

14 years 1 days 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 »

22

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

13 years 9 months ago

Temporal Logic Model Checking (Abstract)

Download www.info2.uqam.ca

Edmund M. Clarke

claim paper

Read More »

17

SLP
1997

49views more SLP 1997»

Model Checking (Abstract)

13 years 9 months ago

Model Checking (Abstract)

Download www.cs.utah.edu

Rob Gerth

claim paper

Read More »

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