No edit summary |
(→SimB) |
||
| Line 2: | Line 2: | ||
SimB is a simulator built on top of ProB. It is available in the latest SNAPSHOT version in the new JavaFX based user interface [[ProB2 JavaFX UI|ProB2-UI]], The modeler can write SimB annotations for a formal model to simulate it. Furthermore, it is then possible to validate probabilistic and timing properties with statistical validation techniques such as hypothesis testing and estimation. | SimB is a simulator built on top of ProB. It is available in the latest SNAPSHOT version in the new JavaFX based user interface [[ProB2 JavaFX UI|ProB2-UI]], The modeler can write SimB annotations for a formal model to simulate it. Furthermore, it is then possible to validate probabilistic and timing properties with statistical validation techniques such as hypothesis testing and estimation. | ||
=== Using SimB === | |||
Start SimB via "Open Simulator" in the "Advanced" Menu after opening a machine. | |||
Now, you can open a SimB file (JSON format) controlling the underlying formal model. | |||
SimB is a simulator built on top of ProB. It is available in the latest SNAPSHOT version in the new JavaFX based user interface ProB2-UI, The modeler can write SimB annotations for a formal model to simulate it. Furthermore, it is then possible to validate probabilistic and timing properties with statistical validation techniques such as hypothesis testing and estimation.
Start SimB via "Open Simulator" in the "Advanced" Menu after opening a machine. Now, you can open a SimB file (JSON format) controlling the underlying formal model.