703084 PS Program Verification

summer semester 2024 | Last update: 18.12.2023 | Place course on memo list

Department:

Department of Computer Science

Instructor:

assoz. Prof. Dr. René Thiemann, +43 512 507 53234

Course number:

703084

Title:

PS Program Verification

Type/hours:

PS 2

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

German

Learning Outcome:

After completing this module, students can understand, create and correct the specifications of programs. They have acquired the skill to prove specifications formally. They use a combination of interactive and automatic methods to combine expressive logic with efficient search for proof.

Contents:

validation and verification
partial correctness and termination
automatic termination proofs
working with an SMT-solver
specification of program properties
verification of functional programs
verification of imperative programs
proving techniques: induction, invariants, generalizations

Methods:

Weekly exercises that are presented and discussed in the Proseminar.

Assessment:

weakly exercise sheets

Literature:

Material will be made available on the accompanying web site.

Prerequisites:

Knowledge about functional programming and logic.

Remarks:

The proseminar will be conducted in German. The exercise sheets are written in English.

OLAT:

https://lms.uibk.ac.at/url/RepositoryEntry/5592973481

Link:

http://cl-informatik.uibk.ac.at/teaching/ss24/pv

Start:

see dates

Course allocation

Faculty of Teacher Education

Master's Programme Secondary School Teacher Training (General Education) according to the curriculum 2018 (120 ECTS-Credits, 4 semesters)

Subject Computer Science

Compulsory Modules (25 ECTS-Credits)

Compulsory Module 1: Advanced Computer Science (7,5 ECTS-Credits)

Faculty of Mathematics, Computer Science and Physics

Bachelor's Programme Computer Science according to the Curriculum 2019 (180 ECTS-Credits, 6 semesters)

Elective Modules (15 ECTS-Credits)

Elective Module 1: Programme Verification (7,5 ECTS-Credits, 5 h)

Sustainable development goals

SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.

Dates

Group 1	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Wed 2024-03-13	12.00 - 13.30	HS 11 HS 11	Barrier-free
Wed 2024-03-20	12.00 - 13.30	HS 11 HS 11	Barrier-free
Wed 2024-04-10	12.00 - 13.30	HS 11 HS 11	Barrier-free
Wed 2024-04-17	12.00 - 13.30	HS 11 HS 11	Barrier-free
Wed 2024-04-24	12.00 - 13.30	HS 11 HS 11	Barrier-free
Wed 2024-05-08	12.00 - 13.30	HS 11 HS 11	Barrier-free
Wed 2024-05-15	12.00 - 13.30	HS 11 HS 11	Barrier-free
Wed 2024-05-22	12.00 - 13.30	HS 11 HS 11	Barrier-free
Wed 2024-05-29	12.00 - 13.30	HS 11 HS 11	Barrier-free
Wed 2024-06-05	12.00 - 13.30	HS 11 HS 11	Barrier-free
Wed 2024-06-12	12.00 - 13.30	HS 11 HS 11	Barrier-free
Wed 2024-06-19	12.00 - 13.30	HS 11 HS 11	Barrier-free