Intrepyd is a python module that provides a simulator and a model checker in form of a rich API, to allow the rapid prototyping of formal methods algorithms for the rigorous analysis of circuits, specifications, models.
Intrepyd is available from PYPI here. It can be installed simply with
pip install intrepyd
issued from a terminal.
Officially Supported OSes
- Windows 7 or above, 64 bit
- Ubuntu 16.04 or above, 64 bit
- python 2.7
- java 8
Prerequisites for Windows only
Formal Methods Little Corner
A collection of experiences using Intrepyd can be found here.
Please report any bug you should experience here.
If you wish to drop a feedback you may write to