Seminar Topics

• Event-B and the Rodin Platform
  (open)
• Chapter in Book Logics of Specification Languages (available from WS)
• Book Modeling in Event B (available from WS)
  
• Rodin Tutorial
• The ProB Animator and Model Checker

Other topics to be added on demand.