After unpacking SolidiKeY can be started by double-clicking on the jar file called key-2.7-exe.jar or via the command line
java -jar key-2.7-exe.jar
Once SolidiKeY has started, go to menu
File > Loadand load one of the
.key files below the directory
input. The directory contains two subdirectories called
withoutCallBack. They contain the input files with a directive that indicates which of the transfer semantics to use.
You can start the verification by clicking the green arrow button in the left toolbar.
Requirements. Java 12 installed.
Note: If you have or had KeY installed before, you need to delete or rename the
.key directory in your home directory.