Incremental System Modelling in Event-B

DOI10.1007/978-3-642-04167-9_8zbMATH Open1254.68077OpenAlexW2166549990MaRDI QIDQ3638993FDOQ3638993

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

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Abstract State Machines
• Title not available (Why is that?)
• The B-Book
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Purpose of Event-B Proof Obligations
• Refinement, decomposition, and instantiation of discrete models: application to Event-B
• On the shape of mathematical arguments
• Developing Topology Discovery in Event-B
• Title not available (Why is that?)

Cited In (5)

• Experiments in program verification using Event-B
• Title not available (Why is that?)
• Linking event-B and concurrent object-oriented programs
• Specification of a localization component driven by a goal-based approach: some lessons we learned
• Refinement, decomposition, and instantiation of discrete models: application to Event-B

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)