1261 search results - page 11 / 253 » A Hierarchy of Temporal Properties |
SEKE
2001
Springer
14 years 1 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
13 years 10 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
14 years 3 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...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
WIA
2009
Springer
14 years 3 months ago
2009
Springer
