Proceedings of the 2014 International SPIN Symposium on Model Checking of Software

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
 
Publisher Verlag
ACM New York, NY, USA
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Günther, Henning ; Weissenbacher, Georg Incremental bounded software model checkingKonferenzbeitrag Inproceedings 2014
2Bartocci, Ezio ; DeFrancisco, Richard ; Smolka, Scott A. Towards a GPGPU-parallel SPIN model checkerKonferenzbeitrag Inproceedings 2014