622.050 (20W) Spezifikation und Verifikation

Wintersemester 2020/21

Anmeldefrist abgelaufen.

Erster Termin der LV
17.10.2020 08:30 - 12:00 , Online-Einheit Off Campus
Nächster Termin:
14.11.2020 08:00 - 12:00 , Online-Einheit Off Campus

Überblick

Bedingt durch die COVID-19-Pandemie können kurzfristige Änderungen bei Lehrveranstaltungen und Prüfungen (z.B. Absage von Präsenz-Lehreveranstaltungen und Umstellung auf Online-Prüfungen) erforderlich sein.

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
Onlinelehrveranstaltung
Semesterstunde/n
2.0
ECTS-Anrechnungspunkte
2.0
Anmeldungen
38
Organisationseinheit
Unterrichtssprache
Englisch
LV-Beginn
17.10.2020
eLearning
zum Moodle-Kurs

Zeit und Ort

Beachten Sie bitte, dass sich aufgrund von COVID-19-Maßnahmen die derzeit angezeigten Termine noch ändern können.
Liste der Termine wird geladen...

LV-Beschreibung

Intendierte Lernergebnisse

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.

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 during the same date/time as mentioned-above. To join LIVE sessions, please click this link.

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.

Erwartete Vorkenntnisse

Some intuitive knowledge of logic and proving is helpful. However, reasonable programming skills are desired.




Prüfungsinformationen

Beurteilungsschema

Note/Grade Benotungsschema

Position im Curriculum

  • 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)
  • Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 19W.1)
    • 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
  • 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)
  • 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)
  • 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)
  • 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)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

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)