Verification of Cyber-physical Systems

Verification refers to a systematic analysis of a system design in order to identify existing conceptual errors in the design. Initially, we discuss the verification of digital systems (i.e. standard computer systems) in this lecture. After having dealt with the general concepts of verification and several small example system models, we will extend the concept of verification to digital systems that control systems in the physical world. The resulting models will contain a part that describes the digital system plus a part describing physical properties of the system (the combination of a digital system with a physical system is called a cyber-physical system or a hybrid system).


Code 13081
Type Course
Site Fribourg
Track(s) T1 – Distributed Systems
T4 – Logic
Semester S2021


Learning Outcomes

After completion of this course unit, the students

  • know how to model digital systems,
  • can analyse system models,
  • know how to analyse error situations found by the verification system,
  • are able to define verification requirements (properties),
  • can use a verification system,
  • are capable of integrating physical properties into a system model.
Lecturer(s) Ulrich Ultes-Nitsche
Language english
Course Page

The course page in ILIAS can be found at

Schedules and Rooms

Period Weekly
Schedule Wednesday, 09:15 - 12:00
Location UniFR, PER21
Room F130

Additional information


First Lecture
The first lecture will take place online on Wednesday, 24.02.2021 at 09:15.