Tools for Concurrent and distributed Systems

01.03.2011 - 31.08.2019

Forschungsförderungsprojekt

Dieses Projekt ist ein Projekt des Nationalen Forschungsnetzwerks "Rigorous Systems Engineering (RiSE)". Das Projekt befasst sich mit Methoden zur Analyse nebenlaeufiger und verteilter Software und Hardware, insbesondere - Automatische Testfallgenerierung - Netzwerkdekomposition - Parametrisiertes Model Checking

Personen

Projektleiter_in

Univ.Prof. Dipl.-Ing. Georg Weissenbacher D.Phil. (E192-04)

Projektmitarbeiter_innen

Privatdoz. Igor Konnov PhD (E192-04)
Annu Gmeiner Master Degree (E192-04)
Privatdoz. Dipl.-Ing. Dr.techn. Josef Widder (E192-04)
Tomer Kotek PhD (E192-04)
Gergely Kovasznai PhD (E192-04)
Univ.Lektor Sasha Rubin PhD (E192-04)

Institut

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Förderungsmittel

FWF - Österr. Wissenschaftsfonds (National) Nationales Forschungsnetzwerk (NFN) Fonds zur Förderung der wissenschaftlichen Forschung (FWF)

Forschungsschwerpunkte

Information and Communication Technology

Schlagwörter

Deutsch	Englisch
Computer Aided Verification	Computergestuetzte Kontrolle
Model Checking	Model Checking