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.

2021S, UE, 2.0h, 3.0EC, to be held in blocked form
TUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: UE Exercise
  • Format: Distance Learning

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.

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)
----------------------------------

Lecturers

Institute

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
13.04.2021 14:00 26.06.2021 23:59 10.07.2021 23:59

Registration modalities

Participation in CAV VU is required.

Curricula

Literature

No lecture notes are available.

Previous knowledge

Basic programming skills, no previous experience with verification tools is required

Accompanying courses

Miscellaneous

  • Attendance Required!

Language

English