3 Papers accepted at ISoLA'20: "An Interface Theory for Program Verification", "Verification Artifacts in Cooperative Verification", and "Violation Witnesses and Result Validation for Multi-Threaded Programs"

All software that we develop or maintain is copyrighted as free software.
Most of our software is available on GitHub or GitLab.

Current Projects