Enhanced discrete-event simulation
by Marcin Copik for PRISM Model Checker
This project includes several enhancements which will improve both manual path generation and the process of statistical model checking.
by Marcin Copik for PRISM Model Checker
This project includes several enhancements which will improve both manual path generation and the process of statistical model checking.