Robuta

https://researchportal.ip-paris.fr/fr/publications/towards-a-formal-verification-approach-for-cloud-software-archite/ Towards a formal verification approach for cloud software architecture - Institut Polytechnique de... cloud software architecture formal verification towards approach institut