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

더 보기