Skip to Content

Programming Systems

Temporal-safety proofs for systems code

Temporal-safety proofs for systems code, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George Necula, Gregoire Sutre, and Westley Weimer, CAV, (2002). PDF

Generating Tests from Counterexamples

Generating Tests from Counterexamples, Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar, ICSE, (2004). PDF

Software Verification with BLAST

Software Verification with BLAST, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Grégoire Sutre, SPIN, (2003).

Lazy abstraction

Lazy abstraction, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre, POPL, (2002). PDF
Syndicate content


about seo