Search Sciweavers | Sciweavers

558 search results - page 19 / 112

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

click to vote

HVC
2007
Springer

109views Hardware» more HVC 2007»

Symbolic Execution and Model Checking for Testing

14 years 1 months ago

Download ti.arc.nasa.gov

Corina S. Pasareanu, Willem Visser

claim paper

Read More »

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

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

14 years 1 months ago

Download www.cs.cmu.edu

Amit Goel, Randal E. Bryant

claim paper

Read More »

click to vote

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

14 years 1 months ago

Download www.sigda.org

Kairong Qian, Albert Nymeyer

claim paper

Read More »

click to vote

CAV
2003
Springer

121views Hardware» more CAV 2003»

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

14 years 29 days ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

click to vote

CHARME
2003
Springer

86views Hardware» more CHARME 2003»

On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking

14 years 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers