Verification framework and tool for higher-order Scala programs
A fuzzing framework for SMT solvers
Model finder for higher-order logic
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, ...