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.

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (0.12.0)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for robertobruttomesso from gravatar.com robertobruttomesso

Credits

Author/Maintainer: Roberto Bruttomesso

License

BSD-3-Clause

Report project as malware

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.9.3.post1.tar.gz (20.0 MB view details)

Uploaded Source

File details

Details for the file intrepyd-0.9.3.post1.tar.gz.

File metadata

  • Download URL: intrepyd-0.9.3.post1.tar.gz
  • Upload date:
  • Size: 20.0 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.13.0 pkginfo/1.4.2 requests/2.21.0 setuptools/45.2.0 requests-toolbelt/0.8.0 tqdm/4.30.0 CPython/3.7.5

File hashes

Hashes for intrepyd-0.9.3.post1.tar.gz
Algorithm Hash digest
SHA256 13d857dd83af30ac2192e24c2358259f696eaee08aa43f06ebec02d2f1c7a2e5
MD5 62b4e7e2c4fb9d74d71fea48f05424a7
BLAKE2b-256 70ceec0f4b81aabec5cfa8f4af58689c65f927d9baf7aaba1bf1003eac5a6d8e

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page