2407 search results - page 98 / 482 » A Tool for Abstraction in Model Checking |
181
click to vote
ILC
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
173
click to vote
JLP
2007
15 years 6 months ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
175
click to vote
ICCAD
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
193
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
179
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...