GitHub repository: m0nt3cr1sto/Formal_IaC
Primary language: Python
Description: Master Thesis Project: Formal Verification of Infrastructure as Code Environments