2018 Formal Methods in Computer Aided Design (FMCAD)
Book title Buchtitel
2018 Formal Methods in Computer Aided Design (FMCAD)
Publisher Herausgeber
IEEE
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina | Expansion-Based QBF Solving Without Recursion | Konferenzbeitrag Inproceedings  | 2018 | |
| 2 | Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian | Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms | Konferenzbeitrag Inproceedings | 2018 | |
| 3 | Cadek, Pavel ; Danninger, Clemens ; Sinn, Moritz ; Zuleger, Florian | Using Loop Bound Analysis For Invariant Generation | Konferenzbeitrag Inproceedings | 2018 |