181.144 Computer-Aided Verification
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2022W, UE, 2.0h, 3.0EC, to be held in blocked form


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: UE Exercise
  • Format: Online

Learning outcomes

After successful completion of the course, students are able to.

  • Understand and use constraint solvers, in particular satisifiability solvers.
  • Understand SAT based model checking algorithms
  • Implement model checking algorithms and test them.

Subject of course

Implementation of a SAT-based model checking algorithm.

Teaching methods

The students will work individually on building their own SAT-based model checkers. 

The course is held online, all Q&A sessions as well as the final presentations will be done on Zoom. For the final presentation students must have a working camera and be able to share their screen.

Attending the accompanying lecture (CAV VU) is highly recommended.

Mode of examination

Written and oral

Additional information

Registration about TISS Students of Studies 931, 938 are prefered. Please, subscribe the lecture 181.145, dates will appear there.

ECTS Breakdown:
60h exercises
15h presentation of exercises
75h (3 ECTS)

Unfortunately, this course was canceled in SS2022. We will implement them again in WS2022.



Course dates

Fri12:00 - 14:0013.01.2023 https://tuwien.zoom.us/j/99088068453?pwd=Z1BJM251bm1XWW4wNVN4dXNablNwQT09 (LIVE)Exercise Lecture
Course is held blocked

Examination modalities

The students are evaluated individually according to the following criteria: suitability of chosen approach, comprehensiveness and precision of project documentation and presentation, quality of results.

Course registration

Begin End Deregistration end
28.10.2022 00:00 20.01.2023 00:00 20.01.2023 00:00


Study CodeObligationSemesterPrecon.Info
066 504 Master programme Embedded Systems Not specified
066 931 Logic and Computation Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective
066 938 Computer Engineering Mandatory elective
066 938 Computer Engineering Mandatory


No lecture notes are available.

Previous knowledge

Basic programming skills (in a language of your choice), no previous experience with verification tools is required

Accompanying courses