Prof. Dr.-Ing. Roland Harig

Honorary Professor

Contact

Prof. Dr.-Ing. Roland Harig
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Office Hours
nach Vereinbarung
Harburger Schloßstraße 36,
21079 Hamburg
Building HS36, Room C2 1.009

Previous activity

until 03/2015
Head of Research Area Optical Measurement Technology (Infrared Measurment Technology) at the Institute of Measurement Technology / TUHH

Publications

TUHH Open Research (TORE)

2012

2011

2008

Courses

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