Temporal-safety proofs for systems code (2002)

by T A Henzinger, R Jhala, R Majumdar, G C Necula, G Sutre, W Weimer
Venue:Proc of CAV ’02