prismulti 0.1.1

A multi-threaded Rust implementation of a subset of the PRISM model checker.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#![doc = include_str!("../README.md")]

//!# Model Checking Details
#![doc = include_str!("../docs/dtmc_details.md")]
#![doc = include_str!("../docs/dd_usage.md")]
#![doc = include_str!("../docs/dd_restrict.md")]

//!# References
//! For more details:
//! - [PRISM manual](https://www.prismmodelchecker.org/manual/) describes the PRISM language more formally
//! - [Dave Parker's PhD thesis](https://www.prismmodelchecker.org/papers/davesthesis.pdf) describes the algorithms used in PRISM in more detail.

pub mod analyze;
pub mod ast;
pub mod constr_symbolic;
pub mod dd_manager;
pub mod parser;
pub mod reachability;
pub mod sym_check;
pub mod symbolic_dtmc;