Using Java Webstart with KeY
This page explains how you can run KeY with a single mouse click using the Java Web Start Technology.Version
You can either start the most recent released version (i.e., 1.2.0) of the KeY tool or the latest development version on the main development branch. As this will update sometimes the linked files (when a new version has been checked in), the install may not work for a few seconds. Please try again 1 minute later.License
KeY is distributed under the GNU General Public License.Requirements
- Java 1.4.1 or newer.
- Java Webstart (which is usually installed with the JRE)
Run it
When you have installed Java (with Java Web Start support) for your browser (often already done by your friendly distributor), a click on the links above allows you to start the application. If it does not work for your installation, follow the instruction to configure webstart.
You have accept/trust the certificate that has been used to sign the distribution. Its SHA-1 finger print is:
B0:FB:4F:EE:CE:59:5E:9B:AE:D9:BA:1E:4F:8C:CF:99:7B:6A:2D:3A
You can also use the java webstart executable javaws via the command line command:
After the first download, webstart will allow you to start KeY even when you are offline. Therefore execute javaws1, select KeY in the offered list and press the button Start Offline.
Examples
The package examples provides a collection of examples.Third party tools, Tutorials, ...
... see the Download-page.Installation of 3rd party tools like Simplify, Yices or CVC3 have to be done as described at 3rd party and to be put into a directory where your PATH variable points to.
Support
Send email to support@key-project.org1With Java 1.6 you have to call
javaws -viewer to get the list of cached applications.