1860 search results - page 23 / 372 » A Temporal Logic of Robustness |
BIRTHDAY
2008
Springer
15 years 2 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
15 years 4 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...
122
click to vote
MOVEP
2000
15 years 4 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...
128
Voted
TCS
1998
15 years 12 days 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...
83
Voted
TIME
2006
IEEE
15 years 6 months ago
2006
IEEE
