95 search results - page 1 / 19 » Compositional Abstraction in Real-Time Model Checking |
61
Voted
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
100
click to vote
RTSS
1995
IEEE
15 years 1 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
CONCUR
1995
Springer
15 years 1 months ago
1995
Springer
73
Voted
TACAS
1998
Springer
15 years 1 months ago
1998
Springer
LICS
1990
IEEE
15 years 1 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...