Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Using Program Verification Tools in Teaching

Speaker  Rustan Leino, Rajeev Joshi, and Rosemary Monahan

Affiliation  MSR, NASA, National University of Ireland

Host  Rustan Leino

Duration  01:30:18

Date recorded  20 July 2011

"Rustan Leino chairs this session at Faculty Summit 2011, which includes the following presentations.

  • A Tour of Dafny—Rustan Leino, Microsoft Research
  • Experience with Using Dafny for Teaching an Introductory Course on Program Reasoning—Rajeev Joshi, NASA JPL
  • Teaching Using Spec# in Europe: A Experience Report from University Teaching and Various Verification Tutorials—Rosemary Monahan, National University of Ireland, Maynooth"
©2011 Microsoft Corporation. All rights reserved.
> Using Program Verification Tools in Teaching