Verification, Model Checking, and Abstract Interpretation (VMCAI)

Event name
Verification, Model Checking, and Abstract Interpretation (VMCAI)
Event type
Event for scientific audience
Start date
San Diego
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