Deductive Verification of Parallel Programs Using Why3

TitleDeductive Verification of Parallel Programs Using Why3
Publication TypeConference Paper
Year of Publication2015
AuthorsSantos, C., Martins F., & Vasconcelos V. T.
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