Formal verification of a C-like memory model and its uses for verifying program transformations

by Xavier Leroy, Sandrine Blazy
Venue:JOURNAL OF AUTOMATED REASONING
Citations:33 - 5 self