By Jean-Raymond Abrial
A pragmatic textual content appropriate for an introductory or complicated direction in formal equipment, this ebook offers a mathematical method of modelling and designing platforms utilizing an extension of the B formal process: Event-B. in response to the assumption of refinement, the author's systematic process permits the consumer to build versions steadily and to facilitate a scientific reasoning technique through proofs. Readers will the right way to construct types of courses and, extra normally, discrete structures, yet this is often all performed with perform in brain. the varied examples supplied come up from a variety of resources of laptop procedure advancements, together with sequential courses, concurrent courses and digital circuits. The publication additionally features a huge variety of workouts and tasks ranging in hassle. all of the examples integrated within the e-book has been proved utilizing the Rodin Platform device set, that is on hand loose for obtain at www.event-b.org.