Index (Rodin Tutorial)

From Event-B

Tutorial for the Rodin platform

• Introduction
• 1 A First Example: The Birthday Book
• 2 The Celebrity Problem
• 3 Customizing a perspective suitable for RODIN
• 4 Location Access Controller
• 5 Mathematical proofs