13th International Haifa Verification Conference (HVC 2017)
Event name
13th International Haifa Verification Conference (HVC 2017)
Start date
13-11-2017
End date
15-11-2017
Location
Haifa, Israel
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Claessen, Koen ; Kilhamn, Jonatan ; Kovács, Laura ; Lennartson, Bengt ; Strichman, Ofer ; Tzoref-Brill, Rachel | A Supervisory Control Algorithm Based on Property-Directed Reachability | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Heule, Marijn J. H. ; Kiesl, Benjamin ; Seidl, Martina ; Biere, Armin | PRuning Through Satisfaction | Konferenzbeitrag Inproceedings | 2017 |