KeY A Java tool for developers who want to verify proof files
Download

KeY Ranking & Summary

KeY Tags

verify Verifier Java developer proof Java verifier

KeY Description

KeY is a simple Java program designed to help you verify Java programs. It practically is a development tool that opens Java proof files and verifies their content. The application can debug the proof file if neccessary. All of this is done within a user-friendly interface, which makes it easy to use.

KeY Related Software