109 search results - page 1 / 22 » Reducing Model Checking of the Many to the Few |
CADE
2000
Springer
14 years 11 months ago
2000
Springer
GI
2009
Springer
14 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
QSIC
2005
IEEE
15 years 6 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...
LICS
2005
IEEE
15 years 6 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
FORMATS
2006
Springer
14 years 10 months ago
2006
Springer
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...