Developing a new language to construct algebraic hierarchies for Event-B

DOI10.1007/978-3-319-99933-3_9MaRDI QIDQ6041163zbMATH OpenFDO

Authors

Publication date 26 May 2023

Published in Dependable Software Engineering. Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/422044/1/SETTA2018.pdf

zbMATH Keywords

Event-Bformal methodsmathematical extensionstheorem prover

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Practical theory extension in Event-B
• Modeling numerical programs with Event-B
• A formal framework for Hybrid Event B
• Introducing H, an institution-based formal specification and verification language
• An institution for Event-B

Cited in

(4)

• Practical theory extension in Event-B
• Developing Topology Discovery in Event-B
• Building Specifications in the Event-B Institution
• Modeling numerical programs with Event-B

This page was built for publication: Developing a new language to construct algebraic hierarchies for Event-B

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