Qualitative Probability User Guide: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son mNo edit summary |
imported>Son mNo edit summary |
||
| 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).
