Difference between revisions of "Event-B Language"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 32: | Line 32: | ||
== Proving Tips == | == Proving Tips == | ||
+ | |||
+ | == Miscellaneous == | ||
+ | |||
+ | * Jean-Raymond Abrial. [ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/6xx/629.pdf ''Faultless System: Yes We Can!'']. Technical Report 629, Department of Computer Science, ETH Zurich. | ||
+ | Abstract: ''I present some simple recommendations allowing system engineers to build computerized systems that are "correct by construction”.'' |
Revision as of 08:17, 30 June 2009
Contents
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
- 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
Modelling Tips
Proving Tips
Miscellaneous
- Jean-Raymond Abrial. Faultless System: Yes We Can!. Technical Report 629, Department of Computer Science, ETH Zurich.
Abstract: I present some simple recommendations allowing system engineers to build computerized systems that are "correct by construction”.