383 search results - page 11 / 77 » Liveness Checking as Safety Checking |
IJMI
2008
13 years 7 months ago
2008
IEICET
2010
13 years 5 months ago
2010
ITP
2010
13 years 5 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
QSIC
2005
IEEE
14 years 29 days ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...