Try out Crowfoot by choosing a file below, and pressing 'Verify'. The files will take some time to check, so please be patient.

Have you found any errors, or do you have any comments? Please email the authors.

Choose SMT solver: Yices Z3
Show graph output:
[Firefox users: opening large graphs may give an error. Simply download the image and open it in your favourite viewer.]