Practical Abstractions for Automated Verification of Shared-Memory Concurrency

Open access
Date
2020Type
- Conference Paper
Permanent link
https://doi.org/10.3929/ethz-b-000465582Publication status
publishedExternal links
Book title
Verification, Model Checking, and Abstract InterpretationJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
Organisational unit
02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems
Related publications and datasets
Is part of: http://hdl.handle.net/20.500.11850/465569
More
Show all metadata