KeY Tool
For the COST Winter School'09 a recent development version has to be used for the lab parts.
Download
Start KeY via Java Web Start
Download the pre-compiled bytecode version (
zip
,
tgz
) (
README
)
Compile KeY from source: (
zip
,
tgz
) (
README-src
)
Download required:
external libraries
Available
add-ons
(Grammatical Framework, Simplify, SMT-LIB support)
Last modified: Wed Jan 21 18:11:30 CET 2009