The Design of a Multicore Extension of the SPIN Model Checker.
Saved in:
| Title: | The Design of a Multicore Extension of the SPIN Model Checker. |
|---|---|
| Authors: | Holzmann, Gerard J., Bosnacki, Dragan |
| Source: | IEEE Transactions on Software Engineering; October 2007, Vol. 33 Issue 10, p659-674, 16p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00985589 |
|---|---|
| DOI: | 10.1109/TSE.2007.70724 |
