Trace preservation in B and Event-B refinements

DOI10.1016/J.JLAMP.2024.100943MaRDI QIDQ6151629FDOQ6151629

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)

zbMATH Keywords

animationrefinementtracesEvent-BB method

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

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

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)