Skip to content

Model Check Learn Stochastic System with PRISM

Jump to bottom
Edi Muškardin edited this page May 15, 2021 · 2 revisions

Model checking works, Wiki site and instruction are work in progress :) In the meantime, you can see how to model check experiment in the learn_stochastic_system_and_do_model_checking method of the Examples.py

Overview

Home

Interactive Examples

Code Examples

Core Functionalities

Learning Black-box Systems

Conformance Checking

Setting Up Learning

Helper Functionalities

Random Automata Generation

Saving, Loading, Visualizing Automata

Advanced Use

Learning-based Testing

Learning-based Fuzzing

Model-Checking With PRISM

Other

Performance Evaluation

Clone this wiki locally