Search Sciweavers | Sciweavers

4341 search results - page 192 / 869

» Quantitative Model checking

click to vote

SPIN
2005
Springer

95views Theoretical Computer Science» more SPIN 2005»

Memory Efficient State Space Storage in Explicit Software Model Checking

14 years 4 months ago

Download cedric.cnam.fr

Sami Evangelista, Jean-François Pradat-Peyr...

claim paper

Read More »

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

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

14 years 4 months ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

14 years 4 months ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

14 years 4 months ago

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

click to vote

CAV
2004
Springer

86views Hardware» more CAV 2004»

MCK: Model Checking the Logic of Knowledge

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers