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.
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
intrepyd-0.8.2.tar.gz
(14.3 MB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
intrepyd-0.8.2-py2.7.egg
(9.6 MB
view details)
File details
Details for the file intrepyd-0.8.2.tar.gz.
File metadata
- Download URL: intrepyd-0.8.2.tar.gz
- Upload date:
- Size: 14.3 MB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/1.15.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/44.0.0 requests-toolbelt/0.9.1 tqdm/4.42.0 CPython/2.7.17
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
c46a0582d0da8cb2c315548ac3251c74246ff996ca873e82c9b78c9ba03116ef
|
|
| MD5 |
845f685b740dad02fcdcbdf51999b1c5
|
|
| BLAKE2b-256 |
66593fa56290c29e60f14ad859747defcb3d325adaf33258ea94fbf97cdac9f6
|
File details
Details for the file intrepyd-0.8.2-py2.7.egg.
File metadata
- Download URL: intrepyd-0.8.2-py2.7.egg
- Upload date:
- Size: 9.6 MB
- Tags: Egg
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/1.15.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/44.0.0 requests-toolbelt/0.9.1 tqdm/4.42.0 CPython/2.7.17
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
fd3617acab98dab40de1e695bb7690007d46eced1e0e775077ea2776fb28be56
|
|
| MD5 |
ee6560f988c0fa3b3b4bb8dfe15c857f
|
|
| BLAKE2b-256 |
e219380a3ad507f140f83414109484afdde7782a8da24a088f9d6df4c48053a5
|
