Sciweavers

2407 search results - page 18 / 482

» A Tool for Abstraction in Model Checking

21

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

14 years 3 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

26

CAV
2004
Springer

89views Hardware» more CAV 2004»

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

14 years 3 months ago

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

Download www.cs.cmu.edu

Amit Goel, Randal E. Bryant

claim paper

Read More »

33

Voted

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

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

37

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

14 years 3 months ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

17

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

14 years 2 months ago

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

« Prev « First page 18 / 482 Last » Next »