Theory Plug-in: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Im06r
No edit summary
imported>Im06r
No edit summary
Line 1: Line 1:
Return to [[Rodin Plug-ins]]
Return to [[Rodin Plug-ins]]
The Theory plug-in is the successor of the Rule-based Prover (which will be referred to as RbP) plug-in. The Theory plug-in
provides capabilities to extend the Event-B language and the proving infrastructure in a familiar fashion to Rodin users.


See also the late [[Rule-based Prover Plug-in]]. The last release of the Rule-based Prover was v0.3. The Theory plug-in starts at version v0.5.
See also the late [[Rule-based Prover Plug-in]]. The last release of the Rule-based Prover was v0.3. The Theory plug-in starts at version v0.5.

Revision as of 16:25, 1 October 2010

Return to Rodin Plug-ins

The Theory plug-in is the successor of the Rule-based Prover (which will be referred to as RbP) plug-in. The Theory plug-in provides capabilities to extend the Event-B language and the proving infrastructure in a familiar fashion to Rodin users.

See also the late Rule-based Prover Plug-in. The last release of the Rule-based Prover was v0.3. The Theory plug-in starts at version v0.5.