1261 search results - page 11 / 253 » A Hierarchy of Temporal Properties |
SEKE
2001
Springer
15 years 4 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
PSTV
1993
15 years 1 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
69
Voted
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
WIA
2009
Springer
15 years 6 months ago
2009
Springer
