Temporal-Safety Proofs for Systems Code.

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grgoire Sutre, Westley Weimer

Browse the full CAV paper archive.