22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Event name
22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Start date
17-01-2021
End date
19-01-2021
Location
Copenhagen, Denmark
Country
Event format Veranstaltungsformat
Online
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Humenberger, Andreas ; Kovács, Laura ; Henglein, Fritz ; Shoham, Sharon ; Vizel, Yakor | Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) | Konferenzbeitrag Inproceedings  | 2021 | |
| 2 | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Eliminating Message Counters in Synchronous Threshold Automata | Konferenzbeitrag Inproceedings | 2021 |