Search Sciweavers | Sciweavers

2584 search results - page 47 / 517

» On the Forward Checking Algorithm

click to vote

CAV
2006
Springer

110views Hardware» more CAV 2006»

Improving Pushdown System Model Checking

13 years 11 months ago

Download www.cs.wisc.edu

Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...

Akash Lal, Thomas W. Reps

claim paper

Read More »

click to vote

TACAS
2009
Springer

102views Algorithms» more TACAS 2009»

Memoised Garbage Collection for Software Model Checking

14 years 2 months ago

Download wwwhome.cs.utwente.nl

Viet Yen Nguyen, Theo C. Ruys

claim paper

Read More »

click to vote

TACAS
2005
Springer

89views Algorithms» more TACAS 2005»

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

14 years 1 months ago

Download ftp.inrialpes.fr

Damien Bergamini, Nicolas Descoubes, Christophe Jo...

claim paper

Read More »

click to vote

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

14 years 1 months ago

Download www.sigda.org

Kairong Qian, Albert Nymeyer

claim paper

Read More »

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

14 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers