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