703083 VO Program Verification

summer semester 2020 | Last update: 25.05.2020 | Place course on memo list

Department:

Department of Computer Science

Instructor:

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

Course number:

703083

Title:

VO Program Verification

Type/hours:

VO 3

ECTS credits:

4,5

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 programmes. 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

eLearning shares:

Recording

OLAT:

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

Start:

see dates

allocated to study field

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)

Dates

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Fri 2020-03-06	10.15 - 13.00	HS 10 HS 10	Barrier-free
Fri 2020-03-13	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-03-20	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-03-27	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-04-03	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-04-24	13.30 - 16.30	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-05-08	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-05-15	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-05-22	10.15 - 13.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-05-29	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-06-05	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-06-12	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-06-19	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2020-06-26	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrier-free