Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
Rustan Leino, Michal Moskal
MSR-TR-2013-49 | July 2013
Publications
Publications
Publications by Year
Publications by Research Area
-
Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
Rustan Leino, Michal Moskal
MSR-TR-2013-49 | July 2013
Publications by Type
-
Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
Rustan Leino, Michal Moskal
MSR-TR-2013-49 | July 2013
People
Chris Hawblitzel
Principal Researcher
Jay Lorch
Senior Principal Researcher
Michal Moskal
Principal Research Software Development Engineer
Nikhil Swamy
Senior Principal Researcher