Dr. Davood Babazadeh

Gastdozent

Kontakt

Dr. Davood Babazadeh
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Harburger Schloßstraße 22a,
21079 Hamburg
Gebäude HS22a, Raum 2.018
Logo

Publikationen

TUHH Open Research (TORE)

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2009

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