A collection of verification tools developed by Uppsala University and the University of Regensburg.
UUVerifiers
An SMT Solver for string constraints
uuverifiers
The Princess Theorem Prover
The Eldarica model checker
