Trace preservation in B and Event-B refinements

DOI10.1016/J.JLAMP.2024.100943MaRDI QIDQ6151629zbMATH OpenFDO

Authors Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed

Publication date 12 February 2024

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

animationrefinementtracesEvent-BB method

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• Foundations for using linear temporal logic in Event-B refinement
• Modeling in Event B. System and software engineering.
• Spot the difference: a detailed comparison between B and Event-B
• The B-Book
• Validation of formal models by refinement animation

This page was built for publication: Trace preservation in B and Event-B refinements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151629)