Distributed-Memory Model Checking with SPIN
- 27 August 1999
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Formal methodsACM Computing Surveys, 1996
- Mechanized formal methods: Progress and prospectsLecture Notes in Computer Science, 1996