Download 3rd Party Software
In order to run KeY, the following 3rd-party libraries are required: Recoder (LGPL; modified by KeY team, sources of our changes available upon request), ANTLR (Public Domain). For compiling the source code distribution, and for using KeY's verification based testing facilities, additional libraries are needed.
Optionally, KeY can make use of a number of external SMT solvers, namelySMT-LIB file format. Bindings for new SMT solvers supporting this format can be added easily, in case of interest please ask the KeY group for assistance.