Publication: Qed: a proof system based on reduction and abstraction for the static verification of concurrent software
Program
KU-Authors
KU Authors
Co-Authors
Advisor
Publication Date
Language
English
Journal Title
Journal ISSN
Volume 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:
Proceedings - International Conference on Software Engineering
Publisher:
Institute of Electrical and Electronics Engineers (IEEE)
Keywords:
Subject
Computer engineering