95 search results - page 1 / 19 » Compositional Abstraction in Real-Time Model Checking |
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
RTSS
1995
IEEE
13 years 11 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
13 years 11 months ago
1995
Springer
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
LICS
1990
IEEE
13 years 11 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...