622.051 (20W) Spezifikation und Verifikation

Wintersemester 2020/21

Anmeldefrist abgelaufen.

Erster Termin der LV
17.10.2020 12:30 - 16:00 Online-Einheit Off Campus

... keine weiteren Termine bekannt

Ü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

Dr. Muhammad Taimoor Khan

LV-Titel englisch

Specification and Verification

LV-Art

Übung (prüfungsimmanente LV )

LV-Modell

Onlinelehrveranstaltung

Semesterstunde/n

2.0

ECTS-Anrechnungspunkte

4.0

Anmeldungen

22 (35 max.)

Organisationseinheit

Institut für Informatik-Systeme

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

Englisch

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). The anticipated meeting dates are October 17, 2020, November 14, 2020, December 19, 2020 and January 12, 2021. This course will start at noon (12:30pm-4:00pm).

The learning outcome of this course includes mastering the practical aspects of

the foundations of logic based proving techniques,
the various formal methods for program verification,
the logic based specification and verification of sequential and concurrent programs,
the specification and verification of Java programs and
state-of-the-art (programming) tools (OpenJML and Spin model checker) that support program verification and model checking.

Lehrmethodik inkl. Einsatz von eLearning-Tools

The teaching method will be practical exercises through ONLINE but LIVE sessions. The LIVE sessions 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 background theoretical contents of this course are taught in 622.050.

The course will include the practicing 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 practical tools for the verification of industrial applications developed in popular programming languages.

Erwartete Vorkenntnisse

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

Importantly, the lecture course 622.050 is required to understand the background theory that is required to solve practical exercises of this course.

Prüfungsinformationen

Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.

Beurteilungsschema

Note Benotungsschema

Position 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 PR / 4.0 ECTS)
      - 622.051 Spezifikation und Verifikation (2.0h UE / 4.0 ECTS)

Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 19W.2)
- Fach: Softwareentwicklung (Wahlfach)
  - 8.8 Softwareentwicklung ( 0.0h XX / 12.0 ECTS)
    - 622.051 Spezifikation und Verifikation (2.0h UE / 4.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 UE / 4.0 ECTS)
    - 622.051 Spezifikation und Verifikation (2.0h UE / 4.0 ECTS)

Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 12W.1)
- Fach: Softwareentwicklung (Wahlfach)
  - Spezifikation und Verifikation ( 2.0h UE / 4.0 ECTS)
    - 622.051 Spezifikation und Verifikation (2.0h UE / 4.0 ECTS)

Masterstudium Angewandte Informatik (SKZ: 911, Version: 13W.1)
- Fach: Vertiefung Informatik (Pflichtfach)
  - Spezifikation und Verifikation ( 2.0h UE / 4.0 ECTS)
    - 622.051 Spezifikation und Verifikation (2.0h UE / 4.0 ECTS)

Masterstudium Mathematics (SKZ: 401, Version: 18W.1)
- Fach: Informatics (Wahlfach)
  - 8.6 Spezifikation und Verifikation ( 2.0h UE / 4.0 ECTS)
    - 622.051 Spezifikation und Verifikation (2.0h UE / 4.0 ECTS)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Wintersemester 2023/24

622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2022/23

622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2021/22

622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2019/20

622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2018/19

622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2017/18

622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2016/17

622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2015/16

622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2014/15

622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2013/14

622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2012/13

622.051 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2010/11

622.051 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)

Wintersemester 2009/10

622.051 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)
622.052 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)