Our latest OOPSLA paper is available, and our CCS paper is coming soon!
Jonáš Fiala and Thibault Dardinier won 1st prize in the category Best Student Team at the verifyThis 2024 Competition. Congratulations!
Congratulations to Felix Wolf for completing his PhD on !Automated Verification of Advanced Correctness and Security Properties!
Congratulations to Gaurav Parthasarathy for completing his PhD on Formally Validating Translational Program Verifiers
Our latest Viper release (Summer 2024) includes various new features and improvements. Check it out!
A verified security architecture. More
An automated verifier for Python. More
Formal verification of the SCION internet architecture implementation. More
Formal foundations of translational verifiers. More
An automated, modular verifier for Go. More
A verifier for Rust programs. More
A verification infrastructure for permission-based reasoning. More
