Skip to main content

Runtime verification and automated testing for scientific code

Project description

Paranoid Scientist

Paranoid Scientist is a Python module for verifying scientific software which provides:

  • Runtime verification of entry and exit conditions written in pure Python, including hyperproperties.
  • Conditions specified using pure Python refinement types, i.e. types are defined by predicates.
  • Automated unit testing of individual functions.

To learn more, read the documentation, conceptual FAQs, technical FAQs, or tutorial, or see the paper/preprint for more technical details.

If you use Paranoid Scientist in an academic work, please cite:

Shinn M. (2020) Refinement Type Contracts for Verification of Scientific Investigative Software. In: Chakraborty S., Navas J. (eds) Verified Software. Theories, Tools, and Experiments. VSTTE 2019. Lecture Notes in Computer Science, vol 12031. Springer, Cham. DOI: 10.1007/978-3-030-41600-3_10

System requirements

  • Python 3.5 or above
  • Optional: Numpy (for Numpy types support)

License

All code is available under the MIT license. See LICENSE.txt for more information. Paranoid Scientist is copyright 2018-2020 Max Shinn. The logo is copyright 2018 Anastasia Ershova.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

paranoid_scientist-0.2.3.tar.gz (25.7 kB view details)

Uploaded Source

Built Distribution

paranoid_scientist-0.2.3-py3-none-any.whl (25.2 kB view details)

Uploaded Python 3

File details

Details for the file paranoid_scientist-0.2.3.tar.gz.

File metadata

  • Download URL: paranoid_scientist-0.2.3.tar.gz
  • Upload date:
  • Size: 25.7 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.3 readme-renderer/24.0 requests/2.25.1 requests-toolbelt/0.9.1 urllib3/1.26.4 tqdm/4.54.1 importlib-metadata/3.10.1 keyring/23.4.1 rfc3986/1.5.0 colorama/0.4.3 CPython/3.6.9

File hashes

Hashes for paranoid_scientist-0.2.3.tar.gz
Algorithm Hash digest
SHA256 074b40185a7d923373218144eaa7799b0b78b660f0975a313696caa972016929
MD5 c2f8f7d9fa0f892f2fe3004a6f68adb6
BLAKE2b-256 d2aa9b73253f175499e56a764fe7ea6ad33a73fed59083b4e115669d8cbb0285

See more details on using hashes here.

File details

Details for the file paranoid_scientist-0.2.3-py3-none-any.whl.

File metadata

  • Download URL: paranoid_scientist-0.2.3-py3-none-any.whl
  • Upload date:
  • Size: 25.2 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.8.0 pkginfo/1.8.3 readme-renderer/24.0 requests/2.25.1 requests-toolbelt/0.9.1 urllib3/1.26.4 tqdm/4.54.1 importlib-metadata/3.10.1 keyring/23.4.1 rfc3986/1.5.0 colorama/0.4.3 CPython/3.6.9

File hashes

Hashes for paranoid_scientist-0.2.3-py3-none-any.whl
Algorithm Hash digest
SHA256 f531b6f7ada1c88827a3c3a0781c5ba265472e2b5df7227399c6e3baf13e75dc
MD5 5183940aecd11b1939955b6b1dc24720
BLAKE2b-256 493f1fdeaa43de9f87253731c599163a12a4756934db853674c84a1908848694

See more details on using hashes here.

Supported by

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