Theorem Proving and Program Verification with Dafny
Rustan Leino has kindly agreed to run a 3 half-day tutorial on Dafny, its use for functional and for imperative programs, and its implementation.
Wednesday, 26.03, Imperial College, William Penny, room 301
12:00 – 13:00
16:00 – 17:30
Thursday, 27.03, Imperial College, William Penny, room 301
13:30 – 17:00
Friday, 28.03, Imperial College, Huxley, room 345
11:00 – 13:00
14:00 – 17:00
Participation open to all. Lots of interaction encouraged. For any queries, email Sophia Drossopoulou.
More details from http://wp.doc.ic.ac.uk/sd/teaching/dafny-mini-course/
Bio:
K. Rustan M. Leino is a Principal Researcher in the Research in Software Engineering group at Microsoft Research and Visiting Professor in the Department of Computing at Imperial College London. His research interests include a focus on programming tools, both mental and mechanical.