Prophesy - Parametric Probabilistic Model Checking
Project description
Prophesy is a library and script-collection for methods handling parameter synthesis in Markov decision processes and Markov chains
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Prophesy-2.0.1.tar.gz
(463.9 kB
view details)
File details
Details for the file Prophesy-2.0.1.tar.gz.
File metadata
- Download URL: Prophesy-2.0.1.tar.gz
- Upload date:
- Size: 463.9 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.32.1 CPython/3.6.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | a284863764ce5a3fc895d510e326fd48ddd6583374ece0ef8e6552493fc87a06 |
|
| MD5 | d3cf252e520a44aabc08ce964378a63b |
|
| BLAKE2b-256 | 5cfbaf82a5318e9396713ee24246414bd58cbe8c8971393e9796e51590881db8 |
