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

Speakers : Jeff Running, Rustan Leino

Affiliation : Microsoft Research

People

Portrait of Chris Hawblitzel

Chris Hawblitzel

Senior Principal Researcher

Portrait of Jay Lorch

Jay Lorch

Senior Principal Researcher

Portrait of Michal Moskal

Michal Moskal

Principal Research Software Development Engineer

Portrait of Nikhil Swamy

Nikhil Swamy

Senior Principal Researcher