Event-B Mathematical Language

From Event-B
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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.