Event-B Mathematical Language

From Event-B
Revision as of 11:28, 23 January 2014 by imported>Laurent (→‎Specification Documents: Updated link to concise summary and added refcard)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to 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.