Index (Rodin User Manual)

From Event-B

Jump to: navigation, search
>next: Project


User Manual of the RODIN Platform

The reader of this Manual is supposed to have a basic acquaintance with Eclipse.


  • 1 Project
  • 2 Anatomy of a Context
  • 3 Anatomy of a Machine
  • 4 Saving a Context or a Machine
  • 5 The Event-B Explorer
  • 6 The Proving Perspective
  • A The Mathematical Language
  • B ASCII Representations of the Mathematical Symbols


>next: Project
Retrieved from "http://wiki.event-b.org/index.php/Index_%28Rodin_User_Manual%29"

Categories: User documentation | Rodin Platform | User manual

Views
  • Page
  • Discussion
  • View source
  • History
Personal tools
  • 38.107.191.95
  • Talk for this IP
  • Log in / create account
Navigation
  • Main Page
  • Event-B Language
  • Rodin Platform
  • Plug-in
  • Developer Support
  • FAQ
  • Event-B Examples
  • Random page
  • ''Event-B and Rodin''
contribute
  • Wiki help
  • Village Pump
  • Recent changes
 
Toolbox
  • What links here
  • Related changes
  • Upload file
  • Special pages
  • Printable version
  • Permanent link
Powered by MediaWiki
  • This page was last modified 15:51, 13 April 2010.
  • This page has been accessed 3,884 times.
  • Privacy policy
  • About Event-B
  • Disclaimers