Logo Institute of Electrical Power and Energy Technology
Institute of Electrical Power and Energy Technology
Logo Institute of Electrical Power and Energy Technology
Institute of Electrical Power and Energy Technology
DE
EN
Search
DE
EN
Search
IEET > Teaching > Courses

Courses in Stud.IP

current semester
link to course in Stud.IP Studip_icon
Software Verification (VL)
Subtitle:
This course is part of the module: Software Verification
Semester:
WiSe 23/24
Course type:
Lecture
Course number:
lv629_w23
Lecturer:
Prof. Dr. Sibylle Renate Schupp, Antje Rogalla
Description:

    • Model checking (bounded model checking, CTL, LTL)

    • Real-time model checking (TCTL, timed automata)
    • Deductive verification (Hoare logic)
    • Tool support
    • Recent developments of verification techniques and applications
Performance accreditation:
610 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li></ul><br>611 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li><li>811 - Software Verification - Exercises: Excercises</li></ul>
ECTS credit points:
3
Stud.IP informationen about this course:
Home institute: Institut für Softwaresysteme (E-16)
Registered participants in Stud.IP: 76
Postings: 23
Documents: 6
former semester
link to course in Stud.IP Studip_icon
Software Verification (VL)
Subtitle:
This course is part of the module: Software Verification
Semester:
WiSe 23/24
Course type:
Lecture
Course number:
lv629_w23
Lecturer:
Prof. Dr. Sibylle Renate Schupp, Antje Rogalla
Description:

    • Model checking (bounded model checking, CTL, LTL)

    • Real-time model checking (TCTL, timed automata)
    • Deductive verification (Hoare logic)
    • Tool support
    • Recent developments of verification techniques and applications
Performance accreditation:
610 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li></ul><br>611 - Software Verification<ul><li>610 - Software Verification: Klausur schriftlich</li><li>811 - Software Verification - Exercises: Excercises</li></ul>
ECTS credit points:
3
Stud.IP informationen about this course:
Home institute: Institut für Softwaresysteme (E-16)
Registered participants in Stud.IP: 76
Postings: 23
Documents: 6

Courses

For information on courses and modules, please refer to the current course catalogue and module manual of your degree programme.

Module / Course Period ECTS Credit Points
Module: Electrical Power Systems I: Introduction to Electrical Power Systems WiSe 6
Module: Electrical Power Systems II: Operation and Information Systems of Electrical Power Grids WiSe 6
Module: Electrical Power Systems III: Dynamics and Stability of Electrical Power Systems SuSe 6
Module: Electrical Engineering II: Alternating Current Networks and Basic Devices SuSe 6
Module: Electrical Engineering Project Laboratory SuSe 6
Module: Process Measurement Engineering SuSe 4
Module: Smart Grid Technologies WiSe, SuSe 6

Course: Seminar on Electromagnetic Compatibility and Electrical Power Systems

Further Information

 WiSe, SuSe 2

SuSe: Summer Semester
WiSe: Winter Semester

TU Hamburg
Institute of Electrical Power and Energy Technology (ieet) E-6
Prof. Dr.-Ing. Christian Becker
Harburger Schloßstraße 36
21079 Hamburg
E-mail : ieet(at)tuhh.de
Phone : +49 40 42878 3213
Fax : +49 40 42878 2382
Links
Map and Directions
Data Privacy
Imprint