InfraGov aims to address critical challenges in the reliability and security of Infrastructure as Code (IaC) used in Public Administration.
VeriFixer aims to assist programmers in fixing code issues identified by software verifiers, a task that remains largely manual despite advancements in automatic program repair.
