Difference between revisions of "Event-B Language"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
imported>WikiSysop
Line 25: Line 25:
 
== Event-B Language Documentation ==
 
== Event-B Language Documentation ==
  
===[[Event-B Modelling Language]]===
+
=== [[Event-B Modelling Language]]===
  
===[[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===
 
  
===[http://wiki.event-b.org/images/EventB-Summary.pdf Concise Summary of the Event B mathematical toolkit] by Ken Robinson===
+
=== [http://wiki.event-b.org/images/EventB-Summary.pdf Concise Summary of the Event B mathematical toolkit] by Ken Robinson ===
  
===[[Well-definedness in Event-B]]===
+
=== [[Well-definedness in Event-B]] ===
  
 
==Modelling Tips==
 
==Modelling Tips==

Revision as of 23:02, 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.