622.050 (22W) Spezifikation und Verifikation
Überblick
Weitere Informationen zum Lehrbetrieb vor Ort finden Sie unter: https://www.aau.at/corona.
- Lehrende/r
- LV-Titel englisch Specification and Verification
- LV-Art Vorlesung
- LV-Modell Blended-Learning-Lehrveranstaltung
- Online-Anteil 90%
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 2.0
- Anmeldungen 19
- Organisationseinheit
- Unterrichtssprache Englisch
- LV-Beginn 01.10.2022
- eLearning zum Moodle-Kurs
Zeit und Ort
LV-Beschreibung
Intendierte Lernergebnisse
Please note that this course is a blocked course. Each block will be of approx. 4 hours (except for the last one that will be 2 hours long) and will take place ONLINE or IN PERSON in every month (i.e. October, November, December and January) on selected Saturdays of the month. This course will start in the morning (8:00am-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.
Lehrmethodik inkl. Einsatz von eLearning-Tools
The teaching method will be ONLINE but LIVE lectures. The LIVE lectures will take place via MS Teams Meeting using this link during the same date/time as mentioned-above.
Inhalt/e
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, e.g., Java, C#.
Erwartete Vorkenntnisse
Some intuitive knowledge of logic and proving is helpful. However, reasonable programming skills are desired.
Literatur
The links to literature and corresponding tools will be provided during lectures.
Prüfungsinformationen
Prüfungsmethode/n
The assessment of this course will be based on a written exam. The exam will include
- questions that will require short answers and
- small programs that needs to be annotated with specification.
Importantly, the exam date will be fixed during early lectures of the module.
Prüfungsinhalt/e
Every topic that is taught in this course will have an associated question in the exam.
Beurteilungskriterien/-maßstäbe
The exam mode will be online via Moodle, which will be based on the lecture materials. If COVID-19 safety guidelines are in place, then the exam may be taken remotely.
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Diplom-Lehramtsstudium Unterrichtsfach Informatik und Informatikmanagement
(SKZ: 884, Version: 04W.7)
-
2.Abschnitt
-
Fach: Angewandte Informatik (LI 2.3)
(Pflichtfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Angewandte Informatik (LI 2.3)
(Pflichtfach)
-
2.Abschnitt
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 19W.2)
-
Fach: Softwareentwicklung
(Wahlfach)
-
8.8 Softwareentwicklung (
0.0h XX / 12.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS) Absolvierung im 4., 5., 6. Semester empfohlen
-
8.8 Softwareentwicklung (
0.0h XX / 12.0 ECTS)
-
Fach: Softwareentwicklung
(Wahlfach)
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 17W.1)
-
Fach: Softwareentwicklung
(Wahlfach)
-
6.4 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
6.4 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Softwareentwicklung
(Wahlfach)
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 12W.1)
-
Fach: Softwareentwicklung
(Wahlfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Softwareentwicklung
(Wahlfach)
- Masterstudium Angewandte Informatik
(SKZ: 911, Version: 13W.1)
-
Fach: Vertiefung Informatik
(Pflichtfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Vertiefung Informatik
(Pflichtfach)
- Masterstudium Mathematics
(SKZ: 401, Version: 18W.1)
-
Fach: Informatics
(Wahlfach)
-
8.6 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
8.6 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Informatics
(Wahlfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
-
Wintersemester 2023/24
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2021/22
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2020/21
- 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)