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.

1 Presentation

1. Installation
   1. Officially Supported OSes
   2. Prerequisites
2. Quick Start
   1. Constructing Models
   2. Simulating Models
   3. Model Checking
   4. Benchmarking
   5. Model Checking in the Cloud
   6. API documentation
3. Resources
   1. Formal Methods Little Corner
   2. Bug reporting
   3. Feedback

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 [email protected].