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