Search Sciweavers | Sciweavers

558 search results - page 19 / 112

» Optimizing Symbolic Model Checking for Constraint-Rich Model...

122

click to vote

HVC
2007
Springer

109views Hardware» more HVC 2007»

Symbolic Execution and Model Checking for Testing

16 years 20 hour ago

Download ti.arc.nasa.gov

Corina S. Pasareanu, Willem Visser

claim paper

Read More »

145

click to vote

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

Download www.cs.cmu.edu

Amit Goel, Randal E. Bryant

claim paper

Read More »

124

click to vote

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

15 years 11 months ago

Download www.sigda.org

Kairong Qian, Albert Nymeyer

claim paper

Read More »

168

click to vote

CAV
2003
Springer

121views Hardware» more CAV 2003»

Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods

15 years 11 months ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

120

click to vote

CHARME
2003
Springer

86views Hardware» more CHARME 2003»

On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers