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