Difference between revisions of "Event-B Language"

From Event-B
Jump to navigationJump to search
imported>Son
imported>Son
Line 7: Line 7:
 
* Chapter 3: [http://deploy-eprints.ecs.soton.ac.uk/113/ A Mechanical Press Controller]
 
* Chapter 3: [http://deploy-eprints.ecs.soton.ac.uk/113/ A Mechanical Press Controller]
 
* Chapter 4: [http://deploy-eprints.ecs.soton.ac.uk/114/ File Transfer Protocol]
 
* Chapter 4: [http://deploy-eprints.ecs.soton.ac.uk/114/ File Transfer Protocol]
* Chapter 6: [http://deploy-eprints.ecs.soton.ac.uk/114/ The Bounded Re-transmission Protocol]
+
* Chapter 6: [http://deploy-eprints.ecs.soton.ac.uk/115/ The Bounded Re-transmission Protocol]
 +
* Chapter 7: [http://deploy-eprints.ecs.soton.ac.uk/116/ Concurrent Program Development]
  
 
== Event-B Language Documentation ==
 
== Event-B Language Documentation ==

Revision as of 17:29, 19 June 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

Modelling Tips

Structured_Types

Proving Tips