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
End date
19-02-2014
 
Location
San Diego
Country
United States
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

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