Summary for Week 4
-
Lecture 8 and 9:We introduced the symbolic model checker NuSMVin these
two lectures. Initially, we covered a small semaphore example. The code for the
semaphore example can be found here. The lectures were
based on the following document.
Dates:Mon, 9/24/01 and Wed, 9/26/01.