From B Specifications to $\{log$\}$ Forgrams
Maximiliano Cristi\'a
TL;DR
This paper explains how to translate B specifications into log-grams, execute them, and verify properties, providing a comprehensive guide for formal specification verification.
Contribution
It introduces a novel method for converting B specifications into log-grams and demonstrates their execution and verification processes.
Findings
Effective translation of B specifications into log-grams
Successful execution and property verification of log-grams
Enhanced understanding of formal specification verification
Abstract
In this class notes students can learn how B specifications can be translated into \}$ forgrams, how these forgrams can be executed and how they can be proved to verify some properties.
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 · Software Testing and Debugging Techniques · Business Process Modeling and Analysis