Temporal-Safety Proofs for Systems Code (2002)

by Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , George C. Necula , Grégoire Sutre , Westley Weimer
Citations:84 - 11 self