1138 search results - page 10 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
IPL
2006
13 years 7 months ago
2006
We investigate the path model checking problem for the
FMCAD
1998
Springer
13 years 12 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
SIGSOFT
2001
ACM
14 years 8 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
BCS
2008
13 years 9 months ago
2008
Parity games underlie the model checking problem for the modal
AAAI
2008
13 years 10 months ago
2008
The study of random instances of NP complete and coNP complete problems has had much impact on our understanding of the nature of hard problems. In this work, we initiate an effor...