Computer Aided Verification - Seminar