Tools for Concurrent and distributed Systems

01.03.2011 - 31.08.2019
Forschungsförderungsprojekt

This project is a subproject of the National Research Network "Rigorous Systems Engineering (RiSE)". The project is concerned with methods for the analysis of concurrent and distributed software and hardware, in particular - Automatic test case generation - Network decomposition - Parameterized model checking

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Grant funds

  • FWF - Österr. Wissenschaftsfonds (National) National Research Network (NFN) Austrian Science Fund (FWF)

Forschungsschwerpunkte

  • Computational Intelligence: 100%

Schlagwörter

DeutschEnglisch
Computer Aided VerificationComputergestuetzte Kontrolle
Model CheckingModel Checking

Publikationen