Abstract
In this note we introduce the SPIN model checker for verification of concurrent programs.
| Original language | English |
|---|
| Publication status | Published - 2006 |
|---|---|
| Event | Concurrent Systems - Duration: 1 Jan 2006 → … Conference number: 02152 |
Course
| Course | Concurrent Systems |
|---|---|
| Number | 02152 |
| Period | 01/01/2006 → … |