622.050 (17W) Specification and Verification

Wintersemester 2017/18

Registration deadline has expired.

First course session
04.10.2017 10:00 - 12:00 N.0.27 On Campus
... no further dates known

Overview

Lecturer
Course title german Spezifikation und Verifikation
Type Lecture
Hours per Week 2.0
ECTS credits 2.0
Registrations 39
Organisational unit
Language of instruction English
possible language(s) of the assessment English
Course begins on 04.10.2017
eLearning Go to Moodle course

Time and place

List of events is loading...

Course Information

Intended learning outcomes

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.

Teaching methodology including the use of eLearning tools

The teaching method will be lectures in classroom.

Course content

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.


Prior knowledge expected

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

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.

Examination methodology

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.

Examination topic(s)

Every topic that is taught in this course will have an associated question in the exam.

Assessment criteria / Standards of assessment for examinations

The exam will be based on the lecture materials and the shared scientific articles.

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 VO / 2.0 ECTS)
          • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Bachelor's degree programme Applied Informatics (SKZ: 511, Version: 17W.1)
    • Subject: Software Development (Compulsory elective)
      • 6.4 Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Bachelor's degree programme Applied Informatics (SKZ: 511, Version: 12W.1)
    • Subject: Software Development (Compulsory elective)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Bachelorstudium Informatik (SKZ: 521, Version: 09W.3)
    • Subject: Spezifikation und Verifikation (Compulsory elective)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Bachelor's degree programme Informatics (SKZ: 521, Version: 03W.1)
    • Subject: Spezifikation und Verifikation (Compulsory subject)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Master's degree programme Applied Informatics (SKZ: 911, Version: 13W.1)
    • Subject: Vertiefung Informatik (Compulsory subject)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Masterstudium Informatik (SKZ: 921, Version: 09W.1)
    • Subject: Spezifikation und Verifikation (Compulsory subject)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Master's degree programme Informatics (SKZ: 921, Version: 03W.1)
    • Subject: Spezifikation und Verifikation (Compulsory subject)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Diploma programme Informatics (SKZ: 880, Version: 02W)
    • Stage two
      • Subject: Angewandte Informatik inkl. Vertiefungsfach (Compulsory subject)
        • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
          • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Diploma programme Informatics (SKZ: 880, Version: 02W)
    • Stage three
      • Subject: Angewandte Informatik und Vertiefungsfach (Compulsory subject)
        • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
          • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)

Equivalent courses for counting the examination attempts

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