622.050 (17W) Spezifikation und Verifikation

Wintersemester 2017/18

Anmeldefrist abgelaufen.

Erster Termin der LV
04.10.2017 10:00 - 12:00 , N.0.27
... keine weiteren Termine bekannt

Überblick

Lehrende/r
LV-Titel englisch
Specification and Verification
LV-Art
Vorlesung
Semesterstunde/n
2.0
ECTS-Anrechungspunkte
2.0
Anmeldungen
39
Organisationseinheit
Unterrichtssprache
Englisch
mögliche Sprache/n der Leistungserbringung
Englisch
LV-Beginn
04.10.2017
eLearning
zum Moodle-Kurs

LV-Beschreibung

Intendierte Lernergebnisse

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

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

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

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

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: 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)
  • Bachelorstudium Informatik (SKZ: 521, Version: 03W.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 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 Informatik (SKZ: 921, Version: 03W.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)
  • Diplomstudium Informatik (SKZ: 880, Version: 02W)
    • 2.Abschnitt
      • Fach: Angewandte Informatik inkl. Vertiefungsfach (Pflichtfach)
        • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
          • 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
  • Diplomstudium Informatik (SKZ: 880, Version: 02W)
    • 3.Abschnitt
      • Fach: Angewandte Informatik und Vertiefungsfach (Pflichtfach)
        • 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 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)