Modeling in Event-B

System and Software Engineering

Nonfiction, Computers, Programming, Programming Languages, General Computing
Cover of the book Modeling in Event-B by Jean-Raymond Abrial, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Jean-Raymond Abrial ISBN: 9781139637794
Publisher: Cambridge University Press Publication: May 13, 2010
Imprint: Cambridge University Press Language: English
Author: Jean-Raymond Abrial
ISBN: 9781139637794
Publisher: Cambridge University Press
Publication: May 13, 2010
Imprint: Cambridge University Press
Language: English

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

More books from Cambridge University Press

Cover of the book Berkeley's A Treatise Concerning the Principles of Human Knowledge by Jean-Raymond Abrial
Cover of the book Law and the Formation of Modern Europe by Jean-Raymond Abrial
Cover of the book Manuscript Circulation and the Invention of Politics in Early Stuart England by Jean-Raymond Abrial
Cover of the book The Creation of Eve and Renaissance Naturalism by Jean-Raymond Abrial
Cover of the book Race and Imperial Defence in the British World, 1870–1914 by Jean-Raymond Abrial
Cover of the book Companies, International Trade and Human Rights by Jean-Raymond Abrial
Cover of the book Travel Narrative and the Ends of Modernity by Jean-Raymond Abrial
Cover of the book The Cambridge Companion to Thomas Jefferson by Jean-Raymond Abrial
Cover of the book Business, Integrity, and Peace by Jean-Raymond Abrial
Cover of the book Theatre and Governance in Britain, 1500–1900 by Jean-Raymond Abrial
Cover of the book Christianity in Fifteenth-Century Iraq by Jean-Raymond Abrial
Cover of the book Principles of Pharmacogenetics and Pharmacogenomics by Jean-Raymond Abrial
Cover of the book Immigration and Citizenship in Japan by Jean-Raymond Abrial
Cover of the book The Tempest by Jean-Raymond Abrial
Cover of the book Principles of Photonics by Jean-Raymond Abrial
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy