Dafny: A Language and Program Verifier for Functional Correctness

成立时间：December 23, 2008

论文与出版物

查看方式：

- Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
  
  Rustan Leino, Michal Moskal
  
  MSR-TR-2013-49 | July 2013
  
  论文与出版物

- Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
  
  Rustan Leino, Michal Moskal
  
  MSR-TR-2013-49 | July 2013
  
  论文与出版物

- Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
  
  Rustan Leino, Michal Moskal
  
  MSR-TR-2013-49 | July 2013
  
  论文与出版物

人员

Chris Hawblitzel

Senior Principal Researcher

Jay Lorch

Senior Principal Researcher

Nikhil Swamy

Senior Principal Researcher