184.741 Program and System 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.

2022S, VU, 4.5h, 6.0EC
TUWELLectureTube

Properties

  • Semester hours: 4.5
  • Credits: 6.0
  • Type: VU Lecture and Exercise
  • LectureTube course
  • Format: Hybrid

Learning outcomes

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

- Apply common software testing techniques such as equivalence classes, boundary-value analysis, coverage metrics

- Use assertions in software development to increase software quality

- Specify and prove software correct using pre- and post-conditions, invariants, and Hoare Logic

- Apply automated software verification techniques such as Bounded Model Checking and Symbolic Simulation

Subject of course

  • Methods for modeling and specificatoin by logic, automaton, assertions and coverage criteria.
  • verification tools, (model checker, static analysis, theorem proof, testing)
  • Practical experiences with verification tools
  • Basics about certification and  standards concerning industrial validitation

Teaching methods

- Solving of exercises

- Use of software verification tools to automatically detect software bugs

Mode of examination

Written

Additional information

The lecture will be held in-person. LectureTube recordings will be made available on TUWEL.

ECTS Breakdown:

36h Lectures
114h Exercises
---------------------------
150h total (6 ECTS)
---------------------------

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed09:00 - 11:0002.03.2022 - 15.06.2022Informatikhörsaal - ARCH-INF Lecture
Fri09:00 - 11:0004.03.2022 - 17.06.2022Informatikhörsaal - ARCH-INF Lecture
Program and System Verification - Single appointments
DayDateTimeLocationDescription
Wed02.03.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Fri04.03.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Wed09.03.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Fri11.03.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Wed16.03.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Fri18.03.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Wed23.03.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Fri25.03.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Wed30.03.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Fri01.04.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Wed06.04.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Fri08.04.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Wed27.04.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Fri29.04.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Wed04.05.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Fri06.05.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Wed11.05.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Fri13.05.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Wed18.05.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture
Fri20.05.202209:00 - 11:00Informatikhörsaal - ARCH-INF Lecture

Examination modalities

The students will solve and hand in exercise sheets (includiing pencil-and-paper exercises as well as practical tasks such as applying software verification tools). The solutions are marked and annotated with feedback.

Course registration

Begin End Deregistration end
01.03.2022 00:00 15.06.2022 23:59 15.06.2022 23:59

Curricula

Study CodeObligationSemesterPrecon.Info
033 534 Software & Information Engineering Mandatory electiveSTEOP
Course requires the completion of the introductory and orientation phase
033 535 Computer Engineering Mandatory4. SemesterSTEOP
Course requires the completion of the introductory and orientation phase

Literature

No lecture notes are available.

Language

English