1283 search results - page 25 / 257 » A Survey on Temporal Logics |
108
click to vote
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
137
click to vote
TCS
1998
15 years 1 months ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
TIME
2006
IEEE
15 years 8 months ago
2006
IEEE
TIME
2005
IEEE
15 years 7 months ago
2005
IEEE
TIME
2005
IEEE
15 years 7 months ago
2005
IEEE