Formal Verification of a Memory Model for C-Like Imperative Languages (2005)

by S Blazy, X Leroy
Venue:ICFEM. Lecture Notes in Computer Sci13 / 15 Volume 30 (2010) Transformations to Mitigate the Semantic Gap in Embedded Systems Verification ence 3785