Event-B Language

From Event-B

Revision as of 15:47, 19 June 2009 by imported>Son

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Book: Modelling in Event-B: System and Software Engineering by Jean-Raymond Abrial

Sample Chapters of the books

This is available at event-b.org [1]

Slides and Rodin Platform archives of the developments corresponding to chapters of the books

Event-B Language Documentation

Event-B Modelling Language

Event-B Mathematical Language

Modelling Tips

Structured_Types

Proving Tips

Retrieved from ‘https://wiki.event-b.org/index.php?title=Event-B_Language&oldid=4130’

Navigation menu