Sciweavers

1054 search results - page 10 / 211

» Abstract Regular Model Checking

130

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 11 months ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

117

Voted

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 11 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

147

CAV
2004
Springer

89views Hardware» more CAV 2004»

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

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

150

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 11 months ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

104

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 11 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 10 / 211 Last » Next »