Incremental System Modelling in Event-B

DOI10.1007/978-3-642-04167-9_8MaRDI QIDQ3638993zbMATH OpenOpenAlexFDO

Authors Stefan Hallerstede

Publication date 28 October 2009

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04167-9_8

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modeling in Event B. System and software engineering.
• Modeling of discrete event systems: a holistic and incremental approach using Petri nets

Cites work

• Abstract State Machines
• Developing Topology Discovery in Event-B
• scientific article; zbMATH DE number 3521895 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 2013577 (Why is no real title available?)
• scientific article; zbMATH DE number 789390 (Why is no real title available?)
• scientific article; zbMATH DE number 3090128 (Why is no real title available?)
• On the Purpose of Event-B Proof Obligations
• On the shape of mathematical arguments
• Refinement, decomposition, and instantiation of discrete models: application to Event-B
• The B-Book

Cited in

(5)

• Specification of a localization component driven by a goal-based approach: some lessons we learned
• scientific article; zbMATH DE number 2089390 (Why is no real title available?)
• Experiments in program verification using Event-B
• Refinement, decomposition, and instantiation of discrete models: application to Event-B
• Linking event-B and concurrent object-oriented programs

Describes a project that uses

Uses Software

• Rodin
• ProB
• CalcCheck

This page was built for publication: Incremental System Modelling in Event-B

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