ISR 2015 lecture notes

Basic Track

The content is protected by user name ISR2015A and the key is obtained ...

Advanced Track





As indicated, it would be nice if the students have downloaded Yices or Z3 before my lecture starts, then we will not waste time for that then. One of them is OK, no preference which one. This may be done before the school, but somewhere earlier in the week during the school is OK too. Working in couples is an option too, so if someone fails to get the tools working, he/she may join someone else who succeeded.


Students should install PVS 6.0 with NASA Langley PVS Libraries on their Linux machine. Instructios see Exercise 1.