1980 search results - page 1 / 396 » Compositional Model Checking of Real Time Systems |
RTSS
1995
IEEE
14 years 2 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 2 months ago
1995
Springer
LICS
1990
IEEE
14 years 3 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
14 years 6 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 21 days ago
2008
Springer