KeY
An overview of the KeY Tool can be found in [Ahre05].
How to start KeY on DIVMS Lab Computers l-lnx*.cs.uiowa.edu
- To run the KeY system, use the command
/group/class/c181/key/bin/startProver - (A command terminal can be accessed by right-clicking on the desktop.)
You can install KeY on your computer if you prefer. Refer to the KeY project website for downloading an installation instructions.