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).
After completion of this course unit, the students
The first lecture will take place on Wednesday, 21.09.2016 at 09:15 in UniFR, PER21, room F130.
The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_1006958.html.