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

Projektmitarbeiter_innen

Institut

Förderungsmittel

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

Forschungsschwerpunkte

  • Information and Communication Technology

Schlagwörter

DeutschEnglisch
Computer Aided VerificationComputergestuetzte Kontrolle
Model CheckingModel Checking

Publikationen