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.
The task description will be presented in the lecture on June 14. The implementations are due at the beginning of the winter term 2019/2020.
Implementation of a SAT-based model checking algorithm.
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 of your implementation and discussion/presentation of your source code.
Participation in CAV VU is required.
Basic programming skills, no previous experience with verification tools is required