Intrepyd Model Checker
Project description
[](https://travis-ci.org/formalmethods/intrepyd)[](https://coveralls.io/github/formalmethods/intrepyd?branch=master)# IntrepydIntre**py**d is a python module that provides a simulator and a model checker in form ofa rich API, to allow the rapid prototyping of formal methods algorithmsfor the rigorous analysis of circuits, specifications, models.## InstallationPlease refer to the following [instructions](INSTALL.md).## Formal Methods Little CornerA collection of experiences using Intrepyd can be found [here](https://formalmethods.github.io).## FAQsPlease refer to the dedicated [Wiki page](https://github.com/formalmethods/intrepyd/wiki/FAQs).
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
[](https://travis-ci.org/formalmethods/intrepyd)[](https://coveralls.io/github/formalmethods/intrepyd){kind=link}