Spot the Difference: A Detailed Comparison Between B and Event-B

2021
OriginalPaper
Chapter

Published in:

Author: Michael Leuschel
Published in: Logic, Computation and Rigorous Methods
Publisher: Springer International Publishing

Read first chapter Log in

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

The chapter 'Spot the Difference: A Detailed Comparison Between B and Event-B' delves into the intricacies of two formal methods, B and Event-B. It begins by introducing B and its methodology, rooted in predicate logic, set theory, and arithmetic. Event-B, an evolution of B, is designed to address some of the limitations of classical B, simplifying the language and making refinement proofs more scalable. The chapter explores the foundational differences between the two, focusing on typing, data types, and language constructs. It also discusses the more significant distinctions in machine and refinement structures, highlighting how Event-B's minimalistic approach differs from the richer language of classical B. Additionally, the chapter touches upon the tools and practical applications of both formalisms, providing a nuanced understanding of their strengths and weaknesses. This detailed comparison is essential for professionals seeking to leverage formal methods in software development and system modelling.

AI Generated

This summary of the content was generated with the help of AI.

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

more than 102.000 books
more than 537 journals

from the following subject areas:

Automotive
Construction + Real Estate
Business IT + Informatics
Electrical Engineering + Electronics
Energy + Sustainability
Finance + Banking
Management + Leadership
Marketing + Sales
Mechanical Engineering + Materials
Insurance + Risk

Secure your knowledge advantage now!

inform now

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

more than 67.000 books
more than 390 journals

from the following specialised fileds:

Automotive
Business IT + Informatics
Construction + Real Estate
Electrical Engineering + Electronics
Energy + Sustainability
Mechanical Engineering + Materials

Secure your knowledge advantage now!

inform now

Springer Professional "Business + Economics"

Online-Abonnement

Springer Professional "Business + Economics" gives you access to:

more than 67.000 books
more than 340 journals

from the following specialised fileds:

Construction + Real Estate
Business IT + Informatics
Finance + Banking
Management + Leadership
Marketing + Sales
Insurance + Risk

Secure your knowledge advantage now!

inform now

previous chapter ASM Specification and Refinement of a Quantum Algorithm

next chapter Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond

Metadata
Footnotes
Literature

Title: Spot the Difference: A Detailed Comparison Between B and Event-B
Author: Michael Leuschel
Publisher: Springer International Publishing
Book: Logic, Computation and Rigorous Methods
Print ISBN: 978-3-030-76019-9

Electronic ISBN: 978-3-030-76020-5

Copyright Year: 2021
DOI: https://doi.org/10.1007/978-3-030-76020-5_9

This content is only visible if you are logged in and have the appropriate permissions.