Difference between revisions of "Qualitative Probability User Guide"
From Event-B
Jump to navigationJump to searchimported>Son m |
imported>Son m |
||
Line 1: | Line 1: | ||
− | [[User:Son]] at '''ETH Zurich''' is in charge of the | + | [[User:Son]] at '''ETH Zurich''' is in charge of the plug-in. |
{{TOCright}} | {{TOCright}} | ||
== Introduction == | == Introduction == | ||
− | + | The Qualitative Probability plug-in provides supports for reasoning about termination with probability 1 (almost-certain termination). | |
== Installing and Updating == | == Installing and Updating == | ||
=== Setup === | === Setup === |
Revision as of 11:06, 23 November 2011
User:Son at ETH Zurich is in charge of the plug-in.
Introduction
The Qualitative Probability plug-in provides supports for reasoning about termination with probability 1 (almost-certain termination).