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