An institution for Event-B

DOI10.1007/978-3-319-72044-9_8MaRDI QIDQ5208502zbMATH OpenOpenAlexFDO

Authors Marie Farrell, Rosemary Monahan, James F. Power

Publication date 16 January 2020

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL http://mural.maynoothuniversity.ie/12011/1/Monahan_Institution_LNCS_2017.pdf

zbMATH Keywords

Event-Bformal methodsformal specificationinstitutionsmodular specificationrefinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1368950
• scientific article; zbMATH DE number 1418816
• Modeling numerical programs with Event-B
• scientific article; zbMATH DE number 2079667
• A formal framework for Hybrid Event B

Cited in

(7)

• Hybrid dynamic logic institutions for event/data-based systems
• Specification of systems with parameterised events: An institution-independent approach
• Practical theory extension in Event-B
• scientific article; zbMATH DE number 2013595 (Why is no real title available?)
• scientific article; zbMATH DE number 1418816 (Why is no real title available?)
• Building Specifications in the Event-B Institution
• Developing a new language to construct algebraic hierarchies for Event-B

This page was built for publication: An institution for Event-B

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