Prof. Dr.-Ing. Roland Harig

Honorarprofessor

Kontakt

Prof. Dr.-Ing. Roland Harig
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Sprechzeiten
nach Vereinbarung
Harburger Schloßstraße 36,
21079 Hamburg
Gebäude HS36, Raum C2 1.009

Frühere Tätigkeit

bis 03/2015
Leiter des Forschungsbereichs Optische Messtechnik (Infrarotmesstechnik) am Institut für Messtechnik / TUHH

Publikationen

TUHH Open Research (TORE)

2012

2011

2008

Lehrveranstaltungen

Stud.IP
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