Difference between revisions of "Theory Plug-in"
From Event-B
Jump to navigationJump to searchimported>Im06r |
imported>Im06r |
||
Line 4: | Line 4: | ||
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. | ||
− | See also the late [[Rule-based Prover Plug-in]] | + | ===Motivation=== |
+ | |||
+ | ===Overview=== | ||
+ | |||
+ | ===Capabilities=== | ||
+ | |||
+ | ===Support and User Manual=== | ||
+ | |||
+ | ===Improvements and Bugs Report=== | ||
+ | |||
+ | 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:27, 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.
Contents
Motivation
Overview
Capabilities
Support and User Manual
Improvements and Bugs Report
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.