SimB: Difference between revisions

Revision as of 08:27, 3 March 2021

SimB

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.

Revision as of 08:09, 3 March 2021 view source Fabian Vu (talk \| contribs) 136 edits Created blank page	Revision as of 08:27, 3 March 2021 view source Fabian Vu (talk \| contribs) 136 edits No edit summary Newer edit →
Line 1:	Line 1:
		== SimB ==

		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.