Difference between revisions of "Theory Plug-in"
From Event-B
Jump to navigationJump to searchimported>Im06r |
imported>Im06r |
||
| Line 2: | Line 2: | ||
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 | 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. | + | provides capabilities to extend the Event-B language and the proving infrastructure in a familiar fashion to Rodin users. If you are looking for the user manual or the latest news on the Theory plug-in, please refer to [[Theory News and Support|Theory News and Support]]. |
| + | This page provides useful information about the plug-in and its design. | ||
===Motivation=== | ===Motivation=== | ||
| Line 10: | Line 11: | ||
===Capabilities=== | ===Capabilities=== | ||
| − | === | + | ===Insider Look=== |
| − | ===Improvements and Bugs | + | ===Improvements and Bugs=== |
See also the late [[Rule-based Prover Plug-in]], the last release of the which 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 which was v0.3. The Theory plug-in starts at version v0.5. | ||
Revision as of 16:32, 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. If you are looking for the user manual or the latest news on the Theory plug-in, please refer to Theory News and Support. This page provides useful information about the plug-in and its design.
Motivation
Overview
Capabilities
Insider Look
Improvements and Bugs
See also the late Rule-based Prover Plug-in, the last release of the which was v0.3. The Theory plug-in starts at version v0.5.
