Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security
- ,
- Alessandro Bruni(CoI),
- Sonia Marin(CoI)
Project:
Research
Project status
Finished
Project Information
Project Type
Research
Project Collaborators
- Carnagie Mellon University - Qatar
Acronym
Meta-CLF2Time Period
01/03/2016 – 01/03/2019Status
FinishedFunding Details
Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer securityAward
FundersAmounts
Qatar National Research Fond
5974493 DKK