[](https://travis-ci.org/formalmethods/intrepyd)[](https://coveralls.io/github/formalmethods/intrepyd?branch=master)# IntrepydIntre**py**d is a python module that provides a simulator and a model checker in form ofa rich API, to allow the rapid prototyping of formal methods algorithmsfor the rigorous analysis of circuits, specifications, models.## InstallationPlease refer to the following [instructions](INSTALL.md).## Formal Methods Little CornerA collection of experiences using Intrepyd can be found [here](https://formalmethods.github.io).## FAQsPlease refer to the dedicated [Wiki page](https://github.com/formalmethods/intrepyd/wiki/FAQs).
1 maintainer
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
File details
Details for the file intrepyd-0.5.3.tar.gz.
File metadata
- Download URL: intrepyd-0.5.3.tar.gz
- Upload date:
- Size: 14.4 MB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
15380ec4fc75c45cd0b57f286cb1257d16d4c2930a3d2d9608aa8b1e9b725f86
|
|
| MD5 |
fae786107f1e0db03223daff9a987375
|
|
| BLAKE2b-256 |
57b44937037124f6548e46d56d95db8645dfe95182e1a6da11462f8f7a4f6ab0
|
[](https://travis-ci.org/formalmethods/intrepyd)[](https://coveralls.io/github/formalmethods/intrepyd){kind=link}