126 search results - page 10 / 26 » Semi-external LTL Model Checking |
ICPADS
2010
IEEE
13 years 6 months ago
2010
IEEE
CORR
2009
Springer
13 years 6 months ago
2009
Springer
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
SPIN
1999
Springer
14 years 25 days ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
LICS
2002
IEEE
14 years 1 months ago
2002
IEEE
We investigate NLTL, a linear-time temporal logic with forgettable past. NLTL can be exponentially more succinct than LTL + Past (which in turn can be more succinct than LTL). We ...