622.051 (20W) Specification and Verification

Wintersemester 2020/21

Registration deadline has expired.

First course session
17.10.2020 12:30 - 16:00 Online-Einheit Off Campus
... no further dates known

Overview

Due to the COVID-19 pandemic, it may be necessary to make changes to courses and examinations at short notice (e.g. cancellation of attendance-based courses and switching to online examinations).

For further information regarding teaching on campus, please visit: https://www.aau.at/en/corona.
Lecturer
Course title german Spezifikation und Verifikation
Type Practical class (continuous assessment course )
Course model Online course
Hours per Week 2.0
ECTS credits 4.0
Registrations 22 (35 max.)
Organisational unit
Language of instruction English
Course begins on 17.10.2020
eLearning Go to Moodle course

Time and place

Please note that the currently displayed dates may be subject to change due to COVID-19 measures.
List of events is loading...

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

Teaching methodology including the use of 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.

Course content

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.

Prior knowledge expected

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.

Examination information

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.

Grading scheme

Grade / Grade grading scheme

Position 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 PR / 4.0 ECTS)
          • 622.051 Specification and Verification (2.0h UE / 4.0 ECTS)
  • 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.051 Specification and Verification (2.0h UE / 4.0 ECTS)
          Absolvierung im 4., 5., 6. Semester empfohlen
  • Bachelor's degree programme Applied Informatics (SKZ: 511, Version: 17W.1)
    • Subject: Software Development (Compulsory elective)
      • 6.4 Spezifikation und Verifikation ( 2.0h UE / 4.0 ECTS)
        • 622.051 Specification and Verification (2.0h UE / 4.0 ECTS)
  • Bachelor's degree programme Applied Informatics (SKZ: 511, Version: 12W.1)
    • Subject: Software Development (Compulsory elective)
      • Spezifikation und Verifikation ( 2.0h UE / 4.0 ECTS)
        • 622.051 Specification and Verification (2.0h UE / 4.0 ECTS)
  • Master's degree programme Applied Informatics (SKZ: 911, Version: 13W.1)
    • Subject: Vertiefung Informatik (Compulsory subject)
      • Spezifikation und Verifikation ( 2.0h UE / 4.0 ECTS)
        • 622.051 Specification and Verification (2.0h UE / 4.0 ECTS)
  • Masterstudium Mathematics (SKZ: 401, Version: 18W.1)
    • Subject: Informatics (Compulsory elective)
      • 8.6 Spezifikation und Verifikation ( 2.0h UE / 4.0 ECTS)
        • 622.051 Specification and Verification (2.0h UE / 4.0 ECTS)

Equivalent courses for counting the examination attempts

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)