https://wiki.event-b.org/index.php?title=Qualitative_Probability&feed=atom&action=historyQualitative Probability - Revision history2024-03-28T10:13:11ZRevision history for this page on the wikiMediaWiki 1.33.3https://wiki.event-b.org/index.php?title=Qualitative_Probability&diff=6658&oldid=previmported>Son: Created page with "{{TOCright}} Return to Rodin Plug-ins The Qualitative Probability plug-in provides supports for reasoning about termination with probability 1 (almost-certain termination..."2017-07-25T20:08:24Z<p>Created page with "{{TOCright}} Return to <a href="/index.php/Rodin_Plug-ins" title="Rodin Plug-ins">Rodin Plug-ins</a> The Qualitative Probability plug-in provides supports for reasoning about termination with probability 1 (almost-certain termination..."</p>
<p><b>New page</b></p><div>{{TOCright}}<br />
Return to [[Rodin Plug-ins]]<br />
<br />
The Qualitative Probability plug-in provides supports for reasoning about termination with probability 1 (almost-certain termination).<br />
<br />
<br style="clear: both" /><br />
<br />
Please have a look also at the [[Event-B Qualitative Probability User Guide | Qualitative Probability User Guide]].<br />
<br />
=== Current version ===<br />
The Qualitative Probability plug-in version 0.2.4 is available as a separate plug-in from the main Rodin update site (under the ''Modelling Extensions'' category).<br />
<br />
=== Principles ===<br />
Qualitative Probability plug-in provide a new ''probabilistic'' attribute for event. When this attribute is set and the event is ''convergent'', the event will be interpreted as '''probabilistic convergent'''.</div>imported>Son