Book
Introduction to SPIN
In this note we introduce the SPIN model checker for verification of concurrent programs.
Language: | English |
---|---|
Year: | 2006 |
Proceedings: | Concurrent Systems |
Types: | Book |
ORCIDs: | Løvengreen, Hans Henrik |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Book
In this note we introduce the SPIN model checker for verification of concurrent programs.
Language: | English |
---|---|
Year: | 2006 |
Proceedings: | Concurrent Systems |
Types: | Book |
ORCIDs: | Løvengreen, Hans Henrik |
Analysis