Meeduse User Guide

Table of Contents

• Overview of Meeduse
• Installation
• Getting Started With Meeduse
• A Simple Model
• Extraction of B models
• Operational semantics
• Execution