Intrepyd

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.

Index

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

Presentation

A presentation video may be found here.

Installation

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

Officially Supported OSes

• Windows 10
• Linux
• OSX

Prerequisites

• python 3.8 (exactly this version)
• (Windows only) Visual C++ Redistributable for Visual Studio

Quick start

Constructing Models

TODO

Simulating Models

TODO

Model Checking

TODO

Benchmarking

TODO

Model Checking in the Cloud

TODO

Resources

Api Documentation

The documentation for the python API can be found under here

The documentation for the REST API can be found here

Docker Hub

The docker hub page is available here

Formal Methods Little Corner

A collection of experiences using Intrepyd can be found here.

Bug reporting

Please report any bug you should experience here.

Feedback

If you wish to drop a feedback you may write to [email protected].