Verification, Model Checking, and Abstract Interpretation (VMCAI)
Event name
Verification, Model Checking, and Abstract Interpretation (VMCAI)
Event type
Event for scientific audience
Start date
19-02-2014
Location
San Diego
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Drăgoi, Cezara ; Henzinger, Thomas A. ; Veith, Helmut ; Widder, Josef ; Zufferey, Damien | A Logic-Based Framework for Verifying Consensus Algorithms | Konferenzbeitrag Inproceedings  | 2014 | |
| 2 | Günther, Henning ; Laarman, Alfons ; Sokolova, Ana ; Weissenbacher, Georg | Dynamic Reductions for Model Checking Concurrent Software | Konferenzbeitrag Inproceedings | 2017 | |
| 3 | Humenberger, Andreas ; Jaroschek, Maximilian ; Kovacs, Laura ; Dillig, Isil ; Palsberg, Jens | Invariant Generation for Multi-Path Loops with Polynomial Assignments | Konferenzbeitrag Inproceedings | 2018 | |
| 4 | Aminof, Benjamin ; Jacobs, Swen ; Khalimov, Ayrat ; Rubin, Sasha | Parameterized Model Checking of Token-Passing Systems | Konferenzbeitrag Inproceedings | 2014 |