Plug-in Tutorial

From Event-B
Revision as of 16:58, 23 August 2010 by imported>Pascal (→‎Projects)
Jump to navigationJump to search

Tutorial for the extension of the Rodin platform by plugin addition

This tutorial is problem solving oriented. In a first part, we will focus on Rodin extensions to develop a plugin for Probabilistic Termination and Qualitative Reasoning. In a second part, we will study specific problem cases and extend Rodin to solve them. More details can be found in the Introduction.

Outline

First part (Probabilistic Termination and Qualitative Reasoning Plugin):

Second part (Various problem solvings):

Projects

The archives of the projects built in this tutorial are available here: // FIXME. Add the links to the .zip files here.

  • Help.zip, which will be needed in section XXX.