Search Sciweavers | Sciweavers

12981 search results - page 6 / 2597

» Model Checking (Abstract)

128

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

16 years 4 days ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

144

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

16 years 4 days ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

127

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

16 years 1 days ago

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

162

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

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

16 years 1 days ago

Download www.cs.cmu.edu

Amit Goel, Randal E. Bryant

claim paper

Read More »

137

Voted

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

16 years 1 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers