Dafny: A Language and Program Verifier for Functional Correctness

Established: December 23, 2008

Videos

People

Portrait of Chris Hawblitzel

Chris Hawblitzel

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