Temporal-safety proofs for systems code (2002)

by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, George C Necula, Grégoire Sutre, Westley Weimer
Venue:In Computer Aided Verification CAV