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

May 24, 2012

Rustan Leino

인원

Chris Hawblitzel의 초상화

Chris Hawblitzel

Senior Principal Researcher

Jay Lorch의 초상화

Jay Lorch

Senior Principal Researcher

Nikhil Swamy의 초상화

Nikhil Swamy

Senior Principal Researcher