Paper accepted at TACAS'21: "Bridging Arrays and ADTs in Recursive Proofs"

All software that we develop or maintain is copyrighted as free software.
Most of our software is available on GitHub or GitLab.

Current Projects