Getting Started

From Event-B

Revision as of 13:48, 30 October 2008 by imported>Mathieu (Add link to some existing pages)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

This section illustrates some of the things you are likely to want to do in your plug-ins if you are extending the Rodin platform.

How to read Rodin projects and elements programmatically.

How to create Rodin projects programmatically.

How to access Proof Obligations.

How to add automatic or manual inference reasoners.

How to add automatic or manual rewrite reasoners.

How to make extensions to Rodin features.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Getting_Started&oldid=5444’

Navigation menu