Temporal-Safety Proofs for Systems Code (2002)

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