1980 search results - page 1 / 396 » Compositional Model Checking of Real Time Systems |
RTSS
1995
IEEE
14 years 9 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
14 years 9 months ago
1995
Springer
LICS
1990
IEEE
14 years 10 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...
ECBS
2010
IEEE
15 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
FORMATS
2008
Springer
14 years 7 months ago
2008
Springer