Plug-in Tutorial

>next: Introduction

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

• Introduction

First part (Probabilistic Termination and Qualitative Reasoning Plugin):

• 1 Creating our plugin
• 2 Contribute new elements in Rodin Database
• 3 Add support for new elements in Rodin UI

Second part (Various problem solvings):

>next: Introduction