https://wiki.event-b.org/index.php?action=history&feed=atom&title=Qualitative_Probability 2026-05-15T04:25:04Z Revision history for this page on the wiki MediaWiki 1.42.1 https://wiki.event-b.org/index.php?title=Qualitative_Probability&diff=6658&oldid=prev 2017-07-25T20:08:24Z

<p>Created page with &quot;{{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...&quot;</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 /> &lt;br style=&quot;clear: both&quot; /&gt;<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 &#039;&#039;Modelling Extensions&#039;&#039; category).<br /> <br /> === Principles ===<br /> Qualitative Probability plug-in provide a new &#039;&#039;probabilistic&#039;&#039; attribute for event. When this attribute is set and the event is &#039;&#039;convergent&#039;&#039;, the event will be interpreted as &#039;&#039;&#039;probabilistic convergent&#039;&#039;&#039;.</div>

imported>Son