cprover
goto-diff

Folder goto-diff

goto-diff/ is a tool that offers functionality similar to the diff tool, but for GOTO programs.