Intrepyd Model Checker
Project description
# 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.
## Formal Methods Little Corner A collection of experiences using Intrepyd can be found at https://formalmethods.github.io.
## FAQs Please refer to the dedicated Wiki page at https://github.com/formalmethods/intrepyd/wiki/FAQs.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
intrepyd-0.5.7.tar.gz
(14.4 MB
view hashes)