Search Sciweavers | Sciweavers

788 search results - page 29 / 158

» Symbolic Equivalence Checking

click to vote

DAC
1999
ACM

128views Computer Architecture» more DAC 1999»

Symbolic Model Checking Using SAT Procedures instead of BDDs

16 years 4 months ago

Download reports-archive.adm.cs.cmu.edu

Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...

claim paper

Read More »

103

click to vote

HVC
2007
Springer

109views Hardware» more HVC 2007»

Symbolic Execution and Model Checking for Testing

15 years 9 months ago

Download ti.arc.nasa.gov

Corina S. Pasareanu, Willem Visser

claim paper

Read More »

116

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 8 months ago

Download www.cs.cmu.edu

Amit Goel, Randal E. Bryant

claim paper

Read More »

102

click to vote

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

15 years 8 months ago

Download www.sigda.org

Kairong Qian, Albert Nymeyer

claim paper

Read More »

143

Voted

CAV
2003
Springer

121views Hardware» more CAV 2003»

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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers