4447 search results - page 78 / 890 » Model Checking Games |
112
Voted
MEMOCODE
2005
IEEE
15 years 9 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
116
Voted
APN
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
116
click to vote
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
126
click to vote
ICCAD
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
132
Voted
ISCIS
2004
Springer
15 years 8 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...