1980 search results - page 1 / 396 » Compositional Model Checking of Real Time Systems |
RTSS
1995
IEEE
13 years 7 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
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...
ECBS
2010
IEEE
13 years 11 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
13 years 5 months ago
2008
Springer