Deductive Verification of Parallel Programs Using Why3

TitleDeductive Verification of Parallel Programs Using Why3
Publication TypeConference Paper
Year of Publication2015
AuthorsSantos, C., F. Martins, and V. T. Vasconcelos
Conference NameProceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015.
URLhttp://dx.doi.org/10.4204/EPTCS.189.11
DOI10.4204/EPTCS.189.11