Search Sciweavers | Sciweavers

783 search results - page 12 / 157

» Compositional Reasoning in Model Checking

click to vote

CHARME
2001
Springer

162views Hardware» more CHARME 2001»

Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking

13 years 11 months ago

Download www.kenmcmil.com

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...

Kenneth L. McMillan

claim paper

Read More »

click to vote

RTSS
1995
IEEE

147views Control Systems» more RTSS 1995»

Compositional and Symbolic Model-Checking of Real-Time Systems

13 years 11 months ago

Download www.it.uu.se

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...

Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

claim paper

Read More »

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

13 years 9 months ago

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »