185.292 Formal Verification of Software Canceled
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2014S, VU, 4.0h, 6.0EC

Properties

  • Semester hours: 4.0
  • Credits: 6.0
  • Type: VU Lecture and Exercise

Aim of course

This course has been renamed to "Deductive Verification of Software"; for more information see this course.

Training of theoretical and practical skills in the formal verification of computer programs.

Subject of course

Logical foundations of formal verification (Hoare logic); development of correct programs using assertions, pre/post-conditions and invariants; verification of sequential, parallel and distributed programs. Exercises with selected verification systems.

Additional information

This course has been renamed to "Deductive Verification of Software"; for more information see this course.

First lecture: Mon, 3 March 2014. Please register for the course via TISS, or if this fails, via email to gernot.salzer@tuwien.ac.at.

Expected time effort per student:

26 h Lectures and Examination

24 h Learning for examination

100 h practice work

in total 150 h

 

Lecturers

Institute

Course registration

Begin End Deregistration end
29.01.2014 00:00 10.03.2014 00:00 10.03.2014 00:00

Curricula

Literature

David Gries: The Science of Programming, Springer 1981.

R.C. Backhouse: Program Construction and Verification, Prentice-Hall 1986.

Gerald Futschek: Programmentwicklung und Verifikation, Springer SAI 1989 (in German).

Edsger W. Dijkstra and Carel S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag 1990.

Previous knowledge

Basics of logic. Good programming knowledge.

Miscellaneous

Language

if required in English