Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security

Schürmann, Carsten (PI)
Bruni, Alessandro (CoI)
Marin, Sonia (CoI)

Projekter: Projekt › Forskning

Akronym	Meta-CLF2
Status	Afsluttet
Effektiv start/slut dato	01/03/2016 → 01/03/2019

Samarbejdspartnere

IT-Universitetet i København
Carnagie Mellon University - Qatar (leder)

Finansiering

Qatar National Research Fond: 5.974.493,00 kr.