Dafny: A Language and Program Verifier for Functional Correctness

成立时间：December 23, 2008

视频

K. Rustan M. Leino wearing glasses and smiling at the camera

52:41

Engineering Methods for Ensuring Program Correctness

2012年5月24日

Rustan Leino

人员

Chris Hawblitzel

Senior Principal Researcher

Jay Lorch

Senior Principal Researcher

Nikhil Swamy

Senior Principal Researcher