Event-B Language: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Son
No edit summary
imported>WikiSysop
Line 23: Line 23:


[[Event-B Mathematical Language]]
[[Event-B Mathematical Language]]
[http://wiki.event-b.org/images/EventB-Summary.pdf Concise Summary of the Event B mathematical toolkit] by Ken Robinson]


==Modelling Tips==
==Modelling Tips==

Revision as of 17:34, 22 July 2009

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

Concise Summary of the Event B mathematical toolkit by Ken Robinson]

Modelling Tips

Structured_Types

Proving Tips

Miscellaneous

Abstract: I present some simple recommendations allowing system engineers to build computerized systems that are "correct by construction”.