622.050 (18W) Spezifikation und Verifikation

zu Moodle

Wintersemester 2018/19

Anmeldefrist abgelaufen.

Erster Termin der LV
13.10.2018 08:00 - 12:00 On Campus

... keine weiteren Termine bekannt

Überblick

Lehrende/r

Dr. Muhammad Taimoor Khan

LV-Titel englisch

Specification and Verification

LV-Art

Vorlesung

Semesterstunde/n

2.0

ECTS-Anrechnungspunkte

2.0

Anmeldungen

Organisationseinheit

Institut für Informatik-Systeme

Unterrichtssprache

es wurde keine Unterrichtssprache angegeben

LV-Beginn

13.10.2018

eLearning

zum Moodle-Kurs

Zeit und Ort

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 once in every month (i.e. October, November, December and January) on a selected Saturday of the month. The anticipated meeting dates are October 13, 2018, November 3, 2018, December 15, 2018 and January 11, 2019. 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 lectures in classroom.

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

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.

Englisch

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 first or second meeting.

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, which will be based on the lecture materials and the shared scientific articles.

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 VO / 2.0 ECTS)
      - 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)

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)

Bachelorstudium Informatik (SKZ: 521, Version: 09W.3)
- Fach: Spezifikation und Verifikation (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 Informatik (SKZ: 921, Version: 09W.1)
- Fach: Spezifikation und Verifikation (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 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 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 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)