We are building tools and methods that support users in repairing flaws in verification-aware programming languages (e.g., Dafny and Verus). By reducing flaws, errors, and vulnerabilities, verification-aware programming languages prove particularly valuable in critical sectors like healthcare, aerospace, and the financial sector.

• Learn more