Difference between revisions of "Event-B Language"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
imported>WikiSysop
Line 29: Line 29:
 
[[Event-B Mathematical Language]]
 
[[Event-B Mathematical Language]]
  
[[http://wiki.event-b.org/index.php/Image:SM%26D-KAR.pdf System Modelling & Design Using Event-B.]]
+
[http://wiki.event-b.org/index.php/Image:SM%26D-KAR.pdf System Modelling & Design Using Event-B.]
 
Draft book by Ken Robinson
 
Draft book by Ken Robinson
  

Revision as of 22:58, 21 September 2010

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

More information about the book is at Cambridge University Press website.

The Event-B introduced in Abrial's book in some ways differs from the Event-B implemented by Rodin. Some of those differences are listed here.

Sample Chapters of the Book

These are available at event-b.org.

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

System Modelling & Design Using Event-B. Draft book by Ken Robinson

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.