Back to Search
Start Over
A Retrospective on Murᵠ.
- Source :
- 25 Years of Model Checking; 2008, p77-88, 12p
- Publication Year :
- 2008
-
Abstract
- Murᵠ is a formal verification system for finite-state concurrent systems developed as a research project at Stanford University. It has been widely used for many protocols especially for multiprocessor cache coherence protocols and cryptographic protocols. This paper reviews the history of Murᵠ, some of results that of the project, and lessons learned. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540698494
- Database :
- Complementary Index
- Journal :
- 25 Years of Model Checking
- Publication Type :
- Book
- Accession number :
- 76812215
- Full Text :
- https://doi.org/10.1007/978-3-540-69850-0_5