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