Lab Exercises for the VO "Computer Aided Verification". These exercises provide the students with practical experience on the techniques and tools presented at the lecture course.
Exercises with Verification Software. The students can choose between two series of exercises aiming at two different goals:
1. Implementation of a basic model checking technique using provided libraries (in a JVM-compatible language, e.g., Java or Scala).
2. Verification of a distributed protocol or an algorithm with of the standard tools: Spin, NuSMV, TLC.
Registration about TISS Students of Studies 931, 938 are prefered. Please, subscribe the lecture 181.145, dates will appear there.
ECTS Breakdown:----------------------------------60h exercises15h presentation of exercises----------------------------------75h (3 ECTS)----------------------------------
Evaluation by your written exercises and a short presentation of the results
Participation in CAV VU is required.
Basic programming skills, no previous experience with verification tools is required