Model Checking Software
Book title Buchtitel
Model Checking Software
Publisher Herausgeber
LNCS, Springer
Place of publishing Erscheinungsort
7976
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-4 of 4 (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 | Leue, Stefan ; Befrouei, Mitra Tabaei | Mining Sequential Patterns to Explain Concurrent Counterexamples | Konferenzbeitrag Inproceedings | 2013 | |
| 4 | John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef | Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms | Konferenzbeitrag Inproceedings | 2013 |