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.

2021S, VU, 4.5h, 6.0EC
Lecture TubeTUWEL

Properties

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

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

 

ECTS Breakdown:

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

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue13:00 - 15:0002.03.2021 - 15.06.2021 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09 (LIVE)Verification of Programs and Systems
Thu13:00 - 15:0004.03.2021 - 10.06.2021 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09 (LIVE)Verification of Programs and Systems
Program and System Verification - Single appointments
DayDateTimeLocationDescription
Tue02.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Thu04.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Tue09.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Thu11.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Tue16.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Thu18.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Tue23.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Thu25.03.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Tue13.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Thu15.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Tue20.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Thu22.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Tue27.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Thu29.04.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Tue04.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Thu06.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Tue11.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Tue18.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Thu20.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems
Thu27.05.202113:00 - 15:00 https://tuwien.zoom.us/j/95099689156?pwd=dTl3eW50OHVMaFBUZXhqanlWSkpaZz09Verification of Programs and Systems

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.

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Mon10:00 - 13:0003.10.2022EI 2 Pichelmayer HS - ETIT written20.09.2022 00:00 - 02.10.2022 23:59TISSWritten Exam

Course registration

Begin End Deregistration end
01.03.2021 00:00 04.05.2021 23:59 04.05.2021 23:59

Curricula

Study CodeSemesterPrecon.Info
033 534 Software & Information Engineering STEOP
Course requires the completion of the introductory and orientation phase
033 535 Computer Engineering 4. SemesterSTEOP
Course requires the completion of the introductory and orientation phase

Literature

No lecture notes are available.

Language

English