783 search results - page 12 / 157 » Compositional Reasoning in Model Checking |
113
click to vote
CHARME
2001
Springer
15 years 3 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
120
click to vote
RTSS
1995
IEEE
15 years 3 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...
71
Voted
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
CASCON
2000
15 years 1 months ago
2000
