Using Program Verification Tools in Teaching

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=607yuAUraEY


Duration: 1:30:41
480 views
2

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



Other Videos By Microsoft Research


2016-08-16Your Abstractions are Worth Powerless! Non-Volatile Storage and Computation on Embedded Devices
2016-08-16Near Optimal Online Algorithms and Fast Approximation Algorithms for Resource Allocation Problems
2016-08-16Interpreting the Community: Information Practices and/for Deviance
2016-08-16Pretty Good Democracy for a variety of voting schemes
2016-08-16Learning Valuation Functions
2016-08-16Applying Semantic Analyses to Content-based Recommendation and Document Clustering
2016-08-16Fusing Mobile, Sensor, and Social Computing in the Cloud To Enable Context-Aware Applications
2016-08-16The Past, Present, and Future of Video Telephony
2016-08-16Multi-People Tracking through Global Optimization
2016-08-16Bridging Shannon and Hamming: Codes for Computationally Simple Channels
2016-08-16Using Program Verification Tools in Teaching
2016-08-16Crowdsourcing for Statistical Machine Translation
2016-08-16Computational Science Research in Latin America
2016-08-16The Laplacian Paradigm: Emerging Algorithms for Massive Graphs
2016-08-16YouΓÇÖre the Manager but IΓÇÖm the Mayor: Understanding Foursquare Check-ins in Claimed Venues
2016-08-16Beyond the Gaussian Universality Class
2016-08-16Microsoft Academic Search: Next-Generation Scholarly Discovery
2016-08-16Semantic Knowledge for Commodity Computing: Focus on Information Mining and Intelligence
2016-08-16Semantic Knowledge for Commodity Computing: Myth or Reality? Information and Knowledge Acquisition
2016-08-16Listen-n-feel: An Emotion Sensor on the Phone Using Speech Processing and Cloud Computing
2016-08-16Open Data for Open Science: The Microsoft Environmental Informatics Framework (EIF)


Tags:
microsoft research