TL;DR
This paper demonstrates how Event-B's event-based notation can be extended with algorithmic modeling constructs, enhancing its expressiveness without compromising the existing refinement-based development methodology.
Contribution
It introduces an augmentation of Event-B with algorithmic constructs, maintaining the refinement process intact.
Findings
Extended Event-B with algorithmic constructs successfully.
Refinement-based development remains unaffected.
Enhanced modeling expressiveness achieved.
Abstract
We show how the event-based notation offered by Event-B may be augmented by algorithmic modelling constructs without disrupting the refinement-based development process.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Model-Driven Software Engineering Techniques · Logic, programming, and type systems