622.050 (20W) Specification and Verification
Overview
For further information regarding teaching on campus, please visit: https://www.aau.at/en/corona.
- Lecturer
- Course title german Spezifikation und Verifikation
- Type Lecture
- Course model Online course
- Hours per Week 2.0
- ECTS credits 2.0
- Registrations 38
- Organisational unit
- Language of instruction English
- Course begins on 17.10.2020
- eLearning Go to Moodle course
Time and place
Course Information
Intended learning outcomes
Please note that this course is a blocked course. Each block will be of approx. 4 hours and will take place ONLINE once in every month (i.e. October, November, December and January) on a selected Saturday of the month. The anticipated meeting dates are October 17, 2020, November 14, 2020, December 19, 2020 and January 12, 2021. This course will start in the morning (8:30am-12:00pm).
The learning outcome of this course includes
- Learning the foundations of logic based proving techniques,
- Learning the various formal methods for program verification,
- Mastering the logic based specification and verification of sequential and concurrent programs,
- Mastering the specification and verification of Java programs,
- Understanding background methods and techniques for program verification and
- Learning future trends and applications of formal methods based software development.
Teaching methodology including the use of eLearning tools
The teaching method will be ONLINE but LIVE lectures. The LIVE lectures will take place via MS Teams Meeting during the same date/time as mentioned-above. To join LIVE sessions, please click this link.
Course content
The course will include the teaching of basics and advanced of the following topics
- logic and proving
- various formal methods
- logic based specification
- program verification
- specification and verification of sequential programs, for instance, verifying Java programs specified in Java Modeling Language and
- specification and verification of concurrent programs, for instance, using Spin model checker
Importantly, the course will help students to master methods for the verification of industrial applications developed in popular programming languages.
Prior knowledge expected
Some intuitive knowledge of logic and proving is helpful. However, reasonable programming skills are desired.
Examination information
Grading scheme
Grade / Grade grading schemePosition in the curriculum
- Teacher training programme Computer Sciences and Computer Sciences Management (Secondary School Teacher Accreditation)
(SKZ: 884, Version: 04W.7)
-
Stage two
-
Subject: Angewandte Informatik (LI 2.3)
(Compulsory subject)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Subject: Angewandte Informatik (LI 2.3)
(Compulsory subject)
-
Stage two
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 19W.2)
-
Subject: Softwareentwicklung
(Compulsory elective)
-
8.8 Softwareentwicklung (
0.0h XX / 12.0 ECTS)
- 622.050 Specification and Verification (2.0h VO / 2.0 ECTS) Absolvierung im 4., 5., 6. Semester empfohlen
-
8.8 Softwareentwicklung (
0.0h XX / 12.0 ECTS)
-
Subject: Softwareentwicklung
(Compulsory elective)
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 17W.1)
-
Subject: Software Development
(Compulsory elective)
-
6.4 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
-
6.4 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Subject: Software Development
(Compulsory elective)
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 12W.1)
-
Subject: Software Development
(Compulsory elective)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Subject: Software Development
(Compulsory elective)
- Master's degree programme Applied Informatics
(SKZ: 911, Version: 13W.1)
-
Subject: Vertiefung Informatik
(Compulsory subject)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Subject: Vertiefung Informatik
(Compulsory subject)
- Masterstudium Mathematics
(SKZ: 401, Version: 18W.1)
-
Subject: Informatics
(Compulsory elective)
-
8.6 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
-
8.6 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Subject: Informatics
(Compulsory elective)
Equivalent courses for counting the examination attempts
-
Wintersemester 2023/24
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2022/23
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2021/22
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2019/20
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2018/19
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2017/18
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2016/17
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2015/16
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2014/15
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2013/14
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2012/13
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2011/12
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2010/11
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2009/10
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)