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

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Drăgoi, Cezara ; Henzinger, Thomas A. ; Veith, Helmut ; Widder, Josef ; Zufferey, Damien A Logic-Based Framework for Verifying Consensus AlgorithmsKonferenzbeitrag Inproceedings 2014
2Günther, Henning ; Laarman, Alfons ; Sokolova, Ana ; Weissenbacher, Georg Dynamic Reductions for Model Checking Concurrent SoftwareKonferenzbeitrag Inproceedings 2017
3Humenberger, Andreas ; Jaroschek, Maximilian ; Kovacs, Laura Invariant Generation for Multi-Path Loops with Polynomial AssignmentsKonferenzbeitrag Inproceedings2018
4Aminof, Benjamin ; Jacobs, Swen ; Khalimov, Ayrat ; Rubin, Sasha Parameterized Model Checking of Token-Passing SystemsKonferenzbeitrag Inproceedings 2014