Intrepyd Model Checker
Project description
Intrepyd
Intrepyd is a python module that provides a simulator and model checkers 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 here.
FAQs
Please refer to the dedicated Wiki page.
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.12.0.tar.gz
(19.2 MB
view details)
File details
Details for the file intrepyd-0.12.0.tar.gz.
File metadata
- Download URL: intrepyd-0.12.0.tar.gz
- Upload date:
- Size: 19.2 MB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.5.0 importlib_metadata/4.8.1 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.9.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | a3c7fbbf24b094bbfea9f5c0c01c87437ab8b76d88f0d18a8c9c980c2e759ffd |
|
| MD5 | 309724d1cab1041f9fd10edce129cd10 |
|
| BLAKE2b-256 | dde83ce70a0926ade0b6e5ebafeeec8b5a8b57a3e93f05a17ba6b343f0bd1470 |
