Dafny: A Language and Program Verifier for Functional Correctness

Établi : December 23, 2008

Vidéos

K. Rustan M. Leino wearing glasses and smiling at the camera Durée   52:41

May 24, 2012

Rustan Leino

Personne

Portrait de Chris Hawblitzel

Chris Hawblitzel

Senior Principal Researcher

Portrait de Jay Lorch

Jay Lorch

Senior Principal Researcher

Portrait de Nikhil Swamy

Nikhil Swamy

Senior Principal Researcher