Distribution

KindSpec 2.2 is a desktop application with a graphical interface. All dependencies (required libraries, etc.) are included within the KindSpec 2.2 distribution package. However, the compilation of the KernelC language requires Java JDK 7 installed in your system, whereas the falsification process requires the GNU Compiler GCC installed.

KindSpec 2.2 is written in Java and compiled into a .jar file. You can load and run it by having a Java Runtime Environment (JRE) installed in your system. A JRE version 1.8 is recommended.

Download

A desktop version can be download from here

System requirements

• JDK 7: You need to have Java JDK 7 installed in your system. KindSpec 2.2 will use it to compile the KernelC language with K. This task is performed just once.
• GNU Compiler GCC: In order to falsify axioms, KindSpec 2.2 uses the GCC compiler and executes the defined test that falsifies a given axiom.

Installation

To install KindSpec 2.2 unzip the provided file when clicking the link above and execute the KindSpec2_2.jar file.

Then, if it's the first time the program is executed, the system will automatically install the dependencies included in the package. Moreover, you are asked to provide the path to JDK7 in your system and to confirm that you want to install the dependencies.

Please, follow carefully the installation instructions given by the system.

The installation process may take several minutes due to the compilation of the KernelC language semantics that is encapsulated in a K framework script. When the setup is completed, another dialog confirms that the installation was successful. The main interface of KindSpec 2.2 will finally launch after clicking on “OK” or closing the dialog.

More information

Download the Quick Start Guide: quickstart.pdf