Practical Abstractions for Automated Verification of Shared-Memory Concurrency

Download
Full text (published version) (PDF, 736.7Kb)
Thumbnail
Open access
Author
Oortwijn, Wytse
Gurov, Dilian
Huisman, Marieke
Date
2020
Type
    Conference Paper
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000465582
Publication status
published
External links
Editor
Beyer, Dirk
Zufferey, Damien
Book title
Verification, Model Checking, and Abstract Interpretation
Journal / series
Lecture Notes in Computer Science
Volume
11990
Pages / Article No.
401 - 425
Publisher
Springer
Event
21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020), New Orleans, LA, USA, January 16–21, 2020
Organisational unit
02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems
Related publications and datasets
More
Show all metadata
Citations
Cited 1 times in Web of Science
ETH Bibliography
yes
Altmetrics