Difference between revisions of "Event-B Language"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
imported>Son
Line 32: Line 32:
  
 
[[Structured_Types]]
 
[[Structured_Types]]
 +
 +
[[Proof Hints]]
  
 
[[Category:User documentation]]
 
[[Category:User documentation]]

Revision as of 12:44, 5 March 2010

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

More information about the book is at Cambridge University Press website

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

Well-definedness in Event-B

Modelling Tips

Structured_Types

Proof Hints

Proving Tips

Miscellaneous

  • Jean-Raymond Abrial, "Faultless Systems: Yes We Can!," Computer, vol. 42, no. 9, pp. 30-36, Sept. 2009, doi:10.1109/MC.2009.283.