Search Sciweavers | Sciweavers

788 search results - page 30 / 158

» Symbolic Equivalence Checking

121

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

Download www.comlab.ox.ac.uk

E. Allen Emerson, Thomas Wahl

claim paper

Read More »

118

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

15 years 10 months ago

Download www.cs.cmu.edu

Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...

claim paper

Read More »

127

click to vote

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts

15 years 10 months ago

Download www.cs.washington.edu

William Chan, Richard J. Anderson, Paul Beame, Dav...

claim paper

Read More »

137

click to vote

TACAS
1999
Springer

95views Algorithms» more TACAS 1999»

Symbolic Model Checking without BDDs

15 years 10 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

147

click to vote

CAV
1998
Springer

84views Hardware» more CAV 1998»

From Pre-historic to Post-modern Symbolic Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers