Dafny: A Language and Program Verifier for Functional Correctness

Established: December 23, 2008

Videos

K. Rustan M. Leino wearing glasses and smiling at the camera Duration   52:41

May 24, 2012

Rustan Leino

People

Portrait of Chris Hawblitzel

Chris Hawblitzel

Senior Principal Researcher

Portrait of Jay Lorch

Jay Lorch

Senior Principal Researcher

Portrait of Nikhil Swamy

Nikhil Swamy

Senior Principal Researcher