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.
- Windows 7 or above, 64 bit
- Ubuntu 16.04 or above, 64 bit
- python 2.7
- pip
- java 8
A collection of experiences using Intrepyd can be found here.
Please refer to the dedicated Wiki page.
Please report any bug you should experience here.
If you wish to drop a feedback you may write to
roberto.bruttomesso@gmail.com
.