Search Sciweavers | Sciweavers

6608 search results - page 198 / 1322

» On the Completeness of Model Checking

185

click to vote

LPAR
2005
Springer

112views Automated Reasoning» more LPAR 2005»

Model Checking Abstract State Machines with Answer Set Programming

16 years 6 days ago

Download www.cs.sfu.ca

ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...

Calvin Kai Fan Tang, Eugenia Ternovska

claim paper

Read More »

143

click to vote

SPIN
2005
Springer

95views Theoretical Computer Science» more SPIN 2005»

Memory Efficient State Space Storage in Explicit Software Model Checking

16 years 5 days ago

Download cedric.cnam.fr

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

claim paper

Read More »

129

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 5 days ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

145

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

16 years 5 days ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

130

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers