Refinement-based specification and analysis of multi-core ARINC 653 using Event-B

DOI10.1145/3617183MaRDI QIDQ7028287zbMATH OpenFDO

Authors Leping Zhang, Yongwang Zhao, Yang Liu, Jun Sun, Feng Zhang

Publication date 12 February 2025

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3617183

zbMATH Keywords

Event-Bformal specificationmulti-core ARINC 653refinement

Mathematics Subject Classification ID

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

Cites work

• Empowering the Event-B method using external theories
• From a proven correct microkernel to trustworthy large systems
• Modeling in Event B. System and software engineering.
• Resources, concurrency, and local reasoning

This page was built for publication: Refinement-based specification and analysis of multi-core ARINC 653 using Event-B

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