Verification framework and tool for higher-order Scala programs
Solver for higher-order functional programs
Proof assistant based on first-order logic and set theory
EPFL CS550 - Formal Verification