International Symposium on Formal Methods
Event name
International Symposium on Formal Methods
Start date
22-06-2015
End date
25-06-2015
Location
Oslo, Norway
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Holzer, Andreas ; Schwartz-Narbonne, Daniel ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg ; Wies, Thomas | Error Invariants for Concurrent Traces | Konferenzbeitrag Inproceedings  | 2016 | |
| 2 | Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg | Proving Safety with Trace Automata and Bounded Model Checking | Konferenzbeitrag Inproceedings | 2015 |