Core Hybrid Event-B I: Single Hybrid Event-B machines

Download PDF
Open Webpage

Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu

Published: 01 Jan 2015, Last Modified: 10 Feb 2025Sci. Comput. Program. 2015EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•Extends Event-B, as seamlessly as possible, to encompass continuous behaviours.•Considers formal semantics.•Considers refinement.•Presents a full suite of proof obligations.•Gives a selection of small case studies.