Event-B Mathematical Language

From Event-B
Revision as of 08:34, 27 October 2011 by Ladenberger (talk | contribs)
Jump to: navigation, search

This page gives a brief summary of documents describing Event-B's logic aka mathematical language.

Rodin Handbook

Rodin Handbook (Mathematical Notation)

Specification Documents

  • A comprehensive specification of the logic (abstract syntax, semantics, proof calculus, core theories) is available as technical report.