http://www.philipp.ruemmer.org [email protected]
Uppsala University
Philipp Ruemmer
An SMT Solver for string constraints
uuverifiers
The Princess Theorem Prover
The Eldarica model checker