A glimpse of a verifying C compiler. http: //www.cs.ru.nl/~tews/cv07/cv07-smans.pdf (0)

by W Schulte, S Xia, J Smans, F Piessens