Publication: QED: a proof system based on reduction and abstraction for the static verification of concurrent software
Loading...
Program
KU-Authors
Organization Authors
Co-Authors
Date
Language
Embargo Status
N/A
Journal Title
Journal ISSN
Volume Title
Alternative Title
Abstract
We present a proof system and supporting tool, QED, for the static verification of concurrent software. Our key idea is to simplify the verification of a program by rewriting it with larger atomic actions. We demonstrated the simplicity and effectiveness of our approach on benchmarks with intricate synchronization. © 2010 ACM.
Source
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Citation
item.page.haspartof
Source
Proceedings - International Conference on Software Engineering
item.page.ispartofseries
item.page.edition
DOI
10.1145/1810295.1810454
item.page.datauri
item.page.link
Rights
N/A
Copyrights Note
Rights and licensing
N/A