SafeIaC is building the first technology-agnostic solution for reliable analysis and automated repair for Infrastructure as Code that provides formal correctness guarantees.
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.
