International SPIN Symposium on Model Checking of Software (SPIN)
Event name
International SPIN Symposium on Model Checking of Software (SPIN)
Start date
08-07-2013
End date
09-07-2013
Location
Stony Brook, NY, USA
Country
Event format Veranstaltungsformat
On Site
Results 1-5 of 5 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bogomolov, Sergiy ; Donzé, Alexandre ; Frehse, Goran ; Grosu, Radu ; Johnson, Taylor T. ; Ladan, Hamed ; Podelski, Andreas ; Wehrle, Martin | Abstraction-Based Guided Search for Hybrid Systems | Konferenzbeitrag Inproceedings  | 2013 | |
| 2 | Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg | Extracting Safe Thread Schedules from Incomplete Model Checking Results | Konferenzbeitrag Inproceedings | 2019 | |
| 3 | Günther, Henning ; Weissenbacher, Georg | Incremental bounded software model checking | Konferenzbeitrag Inproceedings | 2014 | |
| 4 | Leue, Stefan ; Befrouei, Mitra Tabaei | Mining Sequential Patterns to Explain Concurrent Counterexamples | Konferenzbeitrag Inproceedings | 2013 | |
| 5 | John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef | Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms | Konferenzbeitrag Inproceedings | 2013 |