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

15 years 1 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

15 years 4 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

15 years 3 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

15 years 3 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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers