Project Details
| Acronym | Meta-CLF2 |
|---|---|
| Status | Finished |
| Effective start/end date | 01/03/2016 → 01/03/2019 |
Collaborative partners
- IT University of Copenhagen
- Carnagie Mellon University - Qatar (lead)
Funding
- Qatar National Research Fond: DKK5,974,493.00
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)
Project: Research