Sciweavers

1054 search results - page 8 / 211

» Abstract Regular Model Checking

135

TACAS
2007
Springer

98views Algorithms» more TACAS 2007»

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

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

124

Voted

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

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

137

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

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

105

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

15 years 7 months ago

Temporal Logic Model Checking (Abstract)

Download www.info2.uqam.ca

Edmund M. Clarke

claim paper

Read More »

112

SLP
1997

49views more SLP 1997»

Model Checking (Abstract)

15 years 7 months ago

Model Checking (Abstract)

Download www.cs.utah.edu

Rob Gerth

claim paper

Read More »

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