Releases

There isn’t a stable release of the tool yet.

SVComp

We participated in the TACAS Software Verification Competition 2016. You can either download the binary release or build the source code using the git tag svcomp16. You can read about the competition entry in our paper.