Z3

Z3 is a theorem prover Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license.It can be obtained here.

Spin

Spin is a widely used open-source software verification tool.

It can be obtained here.

Some useful links:

- Installing on Windows

SpinRCP

SpinRCP is an integrated development environment (IDE) for the Spin model checker. It can be obtained here.

Anaconda (Jupyter)

Anaconda can be ontained here.