TO
1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Gopalakrishnan, Ganesh | Refactoring SPIN for safety | We show how to refactor SPIN for safety model checking resulting in a compact model checker occupying less than 200 lines of code without appreciable loss of performance while reusing much of SPIN?s front-end facilities. In addition to being far easier to understand and being eminently suitable a... | Model checking; SPIN | 2006-02-14 |
1 - 25 of 1