KeYA Java tool for developers who want to verify proof files | |
Download |
KeY Ranking & Summary
Advertisement
- License:
- GPL
- Publisher Name:
- Karlsruhe Institute of Technology
- Operating Systems:
- Windows All
- File Size:
- 1 KB
KeY Tags
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