Repository files navigation

Intrepyd is apython module that provides a simulator and a model checker in form ofa rich API, to allow the rapid prototyping offormal methods algorithmsfor the rigorous analysis of circuits, specifications, models.

Intrepid may also be run as a containerized web service, which can be used interactivelyvia a rich REST API.

1Presentation

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 foundhere.

Intrepyd is available from PYPIhere. 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 asfollows

docker run -it python:3.8 /bin/bashpip3 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 underhere

The documentation for the REST API can be foundhere

The docker hub page is availablehere

A collection of experiences using Intrepyd can be foundhere.

Please report any bug you should experiencehere.

If you wish to drop a feedback you may write toroberto.bruttomesso@gmail.com.