Event-B Language: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son No edit summary |
imported>Son |
||
| Line 1: | Line 1: | ||
== Book: Modelling in Event-B: System and Software Engineering by Jean-Raymond Abrial == | == Book: Modelling in Event-B: System and Software Engineering by Jean-Raymond Abrial == | ||
More information about the book is at Cambridge University Press [http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521895569 website] | |||
=== Sample Chapters of the books === | === Sample Chapters of the books === | ||
This is available at event-b.org [http://www.event-b.org/abook.html] | This is available at event-b.org [http://www.event-b.org/abook.html] | ||
Revision as of 11:14, 2 December 2009
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
- Chapter 1: Introduction
- Chapter 2: Controlling Cars on a Bridge
- Chapter 3: A Mechanical Press Controller
- Chapter 4: File Transfer Protocol
- Chapter 6: The Bounded Re-transmission Protocol
- Chapter 7: Concurrent Program Development
- Chapter 8: Electronic Circuits Development
- Chapter 10: Leader Election on a Ring-shaped Network
- Chapter 11: Synchronizing Processes on a Tree Network
- Chapter 12: Routing Algorithm for Mobile Agent
- Chapter 13: The Leader Election Protocol (IEEE1394)
- Chapter 15: Sequential Program Development
- Chapter 16: Location Access Controller
- Chapter 17: Train System
Event-B Language Documentation
Concise Summary of the Event B mathematical toolkit by Ken Robinson
Modelling Tips
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.
