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

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Holzer, Andreas ; Schwartz-Narbonne, Daniel ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg ; Wies, Thomas Error Invariants for Concurrent TracesKonferenzbeitrag Inproceedings 2016
2Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg Proving Safety with Trace Automata and Bounded Model CheckingKonferenzbeitrag Inproceedings 2015