Intrepyd is a Model Checker for Lustre and Simulink, that can deal with machine-precise types (including floating-points). It is based on SMT-solving (Microsoft Z3). More at https://formalmethods.github.io.

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: 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.5.2.tar.gz (55.9 kB view details)

Uploaded Source

File details

Details for the file intrepyd-0.5.2.tar.gz.

File metadata

  • Download URL: intrepyd-0.5.2.tar.gz
  • Upload date:
  • Size: 55.9 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for intrepyd-0.5.2.tar.gz
Algorithm Hash digest
SHA256 d7c088d8a207fd156541e696dc5861d69509878c9f307a83ab0614bdb61cc473
MD5 dba61aaaeb795c2e1a44a8e763669dcb
BLAKE2b-256 7a19847419617c1c204b7652a049f80c6d8924b04e79c3458cb9776571b82026

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