Home

Welcome to the ModelChecking wiki!

This is a Go module which should implement the algorithms and objects from Baier and Katoen's Principles of Model Checking. If you are interested in using this, then look at the Tutorial page in the wiki to get started.

Rather than document many examples in my project's README, I will try to include them here. I'll also try to describe some of the assumptions that I've built into the code.

Installation

Adding the GitHub repository to your list of imports and then trying to run the code should trigger the library to be installed onto your machine.

import "github.com/kwesiRutledge/ModelChecking"

To upgrade your version simply run go get github.com/kwesiRutledge/ModelChecking.

Assumptions/Suggestions

I have included a lot of "checking" functions into the GetTransitionSystem() function. I suggest using that to create your transition systems instead of any other clever methods. It will check a lot of your inputs with useful sanity checks.