Tools for Concurrent and distributed Systems

01.03.2011 - 31.08.2019
Research funding project

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

People

Project leader

Project personnel

Institute

Förderungmittel

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

Research focus

  • Computational Intelligence: 100%

Keywords

GermanEnglish
Computer Aided VerificationComputergestuetzte Kontrolle
Model CheckingModel Checking

Publications