Construction of abstract state graphs for understanding Event-B models

DOI10.1007/978-3-319-69483-2_15MaRDI QIDQ5045389zbMATH OpenOpenAlexFDO

Authors Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden

Publication date 4 November 2022

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

Full work available at URL https://doi.org/10.1007/978-3-319-69483-2_15

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Empowering the Event-B method using external theories
• Stepwise Development of Simulink Models Using the Refinement Calculus Framework
• Object oriented concepts identification from formal \(B\) specifications
• Consistency-preserving refactoring of refinement structures in Event-B models
• Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems

Cited in

(2)

• Empowering the Event-B method using external theories
• Stepwise Development of Simulink Models Using the Refinement Calculus Framework

This page was built for publication: Construction of abstract state graphs for understanding Event-B models

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