Temporalsafety proofs for systems code (2002)

by T A Henzinger, R Jhala, R Majumdar, G C Necula, G Sutre, W Weimer
Venue:In CAV ’02: Proceedings of the 14th International Conference on Computer Aided Verification