Pur
due University
P
rogramming
L
anguages Group
News
People
Research
Courses
Seminars
Github
Skip to main content
Verifiable C, a logic and tool for deductive verification of the correctness of C programs
Andrew Appel
November 1, 2017
