TOSCA formal verification

https://www.semanticscholar.org/paper/Live-modeling-%3A-enabling-deployments-at-modeling-in-Dang/7b3534ee2a0e654059408bc85f5ec37360ffc597

https://www.semanticscholar.org/paper/Formal-verification-approaches-and-standards-in-the-Souri-Navimipour/1b16a065ac0153221953055394031dcb6b9eb2d4

https://www.semanticscholar.org/paper/Formal-Verification-of-Infrastructure-as-Code-%E2%88%97-Pascalis/323a58da33f65a8f80a9f190aac6acfb1a4ef506

• посмотреть в сторону tla+

• заметка на тему формальной верификации политик, хорошие примеры: https://github.com/cncf/tag-security/blob/main/policy/overview-policy-formal-verification.md