1167 search results - page 20 / 234 » A Really Temporal Logic |
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
ATVA
2009
Springer
13 years 11 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...
MOVEP
2000
13 years 11 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
TCS
1998
13 years 7 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
14 years 1 months ago
2006
IEEE
