KeY icon

KeY

1 big stars
KeY screenshot
Name: KeY
Works on: windowsWindows 7 and above
Version: 2.4
Last Updated: 04 Apr 2017
Release: 28 Feb 2015
Category: Programming > Other Programming Files
Rate this software:
379 downloads
screenshotsView Screenshots(8)
commentsComments
downloadDownload
Liked it? Tell others:
details

KeY Details

Works on: Windows 10 | Windows 8.1 | Windows 8 | Windows 7 | Windows 2012
SHA1 Hash: daa5eb98ba4a904a3607cd0acf840a64cbde30f3
Size: 14.28 MB
File Format: zip
Rating: 1.869565217 out of 5 based on 23 user ratings
Publisher Website: External Link
Downloads: 379
License: Free
KeY is a free software by Karlsruhe Institute of Technology and works on Windows 10, Windows 8.1, Windows 8, Windows 7, Windows 2012.
You can download KeY which is 14.28 MB in size and belongs to the software category Other Programming Files.
KeY was released on 2015-02-28 and last updated on our database on 2017-04-04 and is currently at version 2.4.
download button
Thank you for downloading from SoftPaz! Your download should start any moment now. It would be great if you could rate and share:
Rate this software:
Share in your network:
features

KeY Description

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.

Two-step installation procedure

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.

Swiftly verify Java proof files based on a customizable set of rules

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.

A handy proof file verification instrument

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.
screenshots

KeY Screenshots

KeY screenshot 1 KeY screenshot 2 KeY screenshot 3 KeY screenshot 4 KeY screenshot 5 KeY screenshot 6 KeY screenshot 7 KeY screenshot 8
similarSimilar Software