Verify the proof files of Java programs with the help of this straightforward and intuitive piece of software, with minimal effort entailed #Proof verification #Java verifier #Java developer #Verifier #Verify #Proof
KeY is a user-friendly and efficient application developed to offer you the means of verifying proof files of Java utilities, being mainly aimed at developers who work with this programming language, as it requires at least some previous knowledge in order to successfully use it.
The tool experiences a quick and easy step process, during which you are instructed to download a series of libraries and paste them in a precise folder, necessary for its correct functioning.
After having followed the steps and copied the libraries into the indicated folder, you can launch KeY using a BAT file and load your proof file into the the utility in order to verify it based on adjustable conditions.
To open an object into the application, you need to pick the corresponding option from the ‘File’ menu. Subsequently, the proof tree will be displayed in a dedicated panel, allowing you to view the ‘Current Goal’.
Afterward, you can switch to the ‘Proof Search Strategy’ tab and define the rules that you wish to apply during the verification process, such as ‘Java DL Options’, ‘Proof Splitting’, ‘Loop Treatment’, ‘Dependency Contracts’, ‘Class Axiom Rule’ and other customizable preferences.
In this step, you can also set the ‘Max. Rule Applications’ number, which can range from as little as one to as much as a million. You can finally press ‘Start’ and KeY will perform the task of verifying your proof file, displaying the results in a popup window for you to review them. You can save the generated PROOF format file to your computer, when complete.
To summarize, KeY is a practical and lightweight software solution that Java programmers can resort to for verifying proof files in little to no time, allowing you to adjust the process to suit your specific needs.
What's new in KeY 2.10.0:
- Core:
- IMP: New SMT translation (!312), rework of the SMT communication (!381), and smaller fixes (!394)
- IMP: Renovating the KeY parser (!278)
KeY 2.10.0
add to watchlist add to download basket send us an update REPORT- PRICE: Free
- runs on:
- Windows All
- file size:
- 26 MB
- filename:
- key-2.10.0-exe.jar
- main category:
- Programming
- developer:
- visit homepage
IrfanView
7-Zip
Context Menu Manager
calibre
ShareX
Bitdefender Antivirus Free
4k Video Downloader
Microsoft Teams
Windows Sandbox Launcher
Zoom Client
- Microsoft Teams
- Windows Sandbox Launcher
- Zoom Client
- IrfanView
- 7-Zip
- Context Menu Manager
- calibre
- ShareX
- Bitdefender Antivirus Free
- 4k Video Downloader