60 search results - page 1 / 12 » Practical First-Order Temporal Reasoning |
131
Voted
TIME
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
112
Voted
LICS
1995
IEEE
15 years 6 months ago
1995
IEEE
130
Voted
CADE
1997
Springer
15 years 7 months ago
1997
Springer
120
Voted
TIME
2003
IEEE
15 years 8 months ago
2003
IEEE
96
Voted
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
