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.
1 maintainer
Release files for paranoid-scientist 0.2.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| paranoid_scientist-0.2.3.tar.gz | 25.7 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| paranoid_scientist-0.2.3-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 50.9 kB
Release files / paranoid_scientist-0.2.3.tar.gz
| Download URL | paranoid_scientist-0.2.3.tar.gz |
|---|---|
| Size | 25.7 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
074b40185a7d923373218144eaa7799b0b78b660f0975a313696caa972016929
|
|
BLAKE2b-256 checksum How to use checksums |
d2aa9b73253f175499e56a764fe7ea6ad33a73fed59083b4e115669d8cbb0285
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is 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
|
Release files / paranoid_scientist-0.2.3-py3-none-any.whl
| Download URL | paranoid_scientist-0.2.3-py3-none-any.whl |
|---|---|
| Size | 25.2 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
f531b6f7ada1c88827a3c3a0781c5ba265472e2b5df7227399c6e3baf13e75dc
|
|
BLAKE2b-256 checksum How to use checksums |
493f1fdeaa43de9f87253731c599163a12a4756934db853674c84a1908848694
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is 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
|
