The following project approximates a state machine from a dynamical system and generates code in PRISM syntax for model checking. Model checking is performed through the PRISM API for various uniformly random initial state regions.
- Clone the repository: