robertobruttomesso/intrepid repository overview

⁠Intrepid

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 for model checking.

Start the container with

docker run -p 8000:8000 -d robertobruttomesso/intrepid

and then interact with its REST api. You may find the API documentation here⁠

The github repo for the project is available here⁠

A blog with some usage examples can be found here⁠

An introductory video can be found here⁠