1633 search results - page 2 / 327 » On the Verification of Temporal Properties |
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
PSTV
1993
13 years 6 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...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
DSRT
2004
IEEE
13 years 9 months ago
2004
IEEE
DATE
2009
IEEE
14 years 1 days ago
2009
IEEE