Summary for Week 7
-
Lecture 15 and 16:We finished the disucssion of SPIN. We started the
model checker Verisoft. Students should look at the following material from
the Verisoft website.
- Slides:"Model-Checking" Software with VeriSoft A recent
general introduction to VeriSoft. (Talk given at Microsoft Research,
April 2000.)
- Paper:Model Checking for Programming Languages using
VeriSoft Proceedings of the 24th ACM Symposium on Principles of
Programming Languages, pages 174-186, Paris, January
1997.
Dates:Mon, 10/15/01 abd Wed, 10/17/01. There was no class on Fri, 10/19/01.