Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
Book title Buchtitel
Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
Publisher Herausgeber
ACM
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Günther, Henning ; Weissenbacher, Georg | Incremental bounded software model checking | Konferenzbeitrag Inproceedings  | 2014 | |
| 2 | Bartocci, Ezio ; DeFrancisco, Richard ; Smolka, Scott A. | Towards a GPGPU-parallel SPIN model checker | Konferenzbeitrag Inproceedings | 2014 |