Skip to content

Resources

Models

Kind 2

Kind 2 is a model checker developed at the University of Iowa, currently available natively for Linux, MacOS and Windows.

The easiest way to use Kind 2 it to use its online version. The online interface should be mostly self-explanatory. Kind 2 is also available as a Visual Studio Code extension. Follow the installation and usage instructions provided by the extension. The extension is highly recommended for homework assignments.

Kind 2 is a command-line tool. If you prefer, you can also install and run it on your own computer from the command line. More information on that can be found Kind 2’s GitHub page.

Visual Studio Code

Visual Studio Code is an open source, highly customizable IDE, available for all major operating systems. Check its website for more information and for dowloading and installation instructions.