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.
Intrepid may also be run as a containerized web service, which can be used interactively via a rich REST API.
A presentation video may be found here.
Intrepyd is available from PYPI here. It can be installed simply with
pip3 install intrepyd
issued from a terminal.
If you wish to use intrepyd in an isolated environment you may use docker as follows
docker run -it python:3.8 /bin/bash
pip3 install intrepyd
- Windows 10
- Linux
- OSX
- python 3.8 (exactly this version)
- (Windows only) Visual C++ Redistributable for Visual Studio
TODO
TODO
TODO
TODO
TODO
The documentation for the python API can be found under here
The documentation for the REST API can be found here
The docker hub page is available here
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
roberto.bruttomesso@gmail.com.