New PDF release: Modeling in Event-B

By Jean-Raymond Abrial

ISBN-10: 0521895561

ISBN-13: 9780521895569

a pragmatic textual content compatible for an introductory or complex path in formal tools, this publication provides a mathematical method of modelling and designing platforms utilizing an extension of the B formal technique: Event-B. in line with the belief of refinement, the author's systematic procedure permits the person to build types steadily and to facilitate a scientific reasoning procedure via proofs. Readers will how one can construct versions of courses and, extra as a rule, discrete structures, yet this can be all performed with perform in brain. the varied examples supplied come up from numerous resources of desktop approach advancements, together with sequential courses, concurrent courses and digital circuits. The e-book additionally features a huge variety of routines and initiatives ranging in trouble. all of the examples integrated within the publication has been proved utilizing the Rodin Platform software set, that is to be had loose for obtain at www.event-b.org.

Show description

Read or Download Modeling in Event-B PDF

Similar computer engineering books

Read e-book online Coloured Petri Nets: Basic Concepts, Analysis Methods and PDF

This e-book provides a coherent description of the theoretical and functional elements of colored Petri Nets (CP-nets or CPN). It indicates how CP-nets were de­ veloped - from being a promising theoretical version to being a full-fledged lan­ guage for the layout, specification, simulation, validation and implementation of huge software program platforms (and different structures within which people and/or com­ puters speak by way of a few kind of formal rules).

Read e-book online Advances in Design and Specification Languages for Embedded PDF

Layout and specification languages are of maximum curiosity within the zone of embedded structures and the discussion board on Specification and layout Languages has been once more the most eu occasion for the embedded platforms and chip layout neighborhood. Advances in layout and Specification Languages for Embedded structures is the most recent contribution to the Chip layout Languages sequence and it contains chosen papers awarded on the discussion board on standards and layout Languages (FDL'06), in September 2006.

Download e-book for iPad: Safety of Computer Architectures by Jean-Louis Boulanger

It truly is at the moment particularly effortless for college students or designers/engineers to discover very basic books at the a variety of features of defense, reliability and dependability of computing device approach architectures, and partial remedies of the weather that contain a good process structure. it's not really easy to discover a unmarried resource reference for these types of features of process layout.

Download e-book for iPad: X86 Assembly Language and C Fundamentals by Joseph Cavanagh

The principal language utilized in embedded microprocessors, meeting language permits you to write courses which are ordinarily swifter and extra compact than courses written in a high-level language and supply larger keep an eye on over this system purposes. targeting the languages utilized in X86 microprocessors, X86 meeting Language and C basics explains easy methods to write courses within the X86 meeting language, the c program languageperiod, and X86 meeting language modules embedded in a C software.

Extra resources for Modeling in Event-B

Sample text

Download PDF sample

Modeling in Event-B by Jean-Raymond Abrial


by Robert
4.4

Rated 4.67 of 5 – based on 36 votes

Published by admin