Dafny: A Language and Program Verifier for Functional Correctness

Établi : December 23, 2008

Publications

Afficher par:

- Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
  
  Rustan Leino, Michal Moskal
  
  MSR-TR-2013-49 | July 2013
  
  Publication

- Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
  
  Rustan Leino, Michal Moskal
  
  MSR-TR-2013-49 | July 2013
  
  Publication

- Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
  
  Rustan Leino, Michal Moskal
  
  MSR-TR-2013-49 | July 2013
  
  Publication

Personne

Chris Hawblitzel

Senior Principal Researcher

Jay Lorch

Senior Principal Researcher

Nikhil Swamy

Senior Principal Researcher