Refinement, decomposition, and instantiation of discrete models: application to Event-B
From MaRDI portal
Publication:5294155
Recommendations
Cited in
(25)- Incremental System Modelling in Event-B
- Developing Topology Discovery in Event-B
- scientific article; zbMATH DE number 1487732 (Why is no real title available?)
- Laws of mission-based programming
- Event-B refinement for continuous behaviours approximation
- On the purpose of Event-B proof obligations
- Relating conflict-free stable transition and event models via redex families
- Spot the difference: a detailed comparison between B and Event-B
- Composing model programs for analysis
- Formal models for consent-based privacy
- Experiments in program verification using Event-B
- Refining privacy-aware data flow diagrams
- Theorem proving graph grammars with attributes and negative application conditions
- Derivation of concurrent programs by stepwise scheduling of Event-B models
- Linking event-B and concurrent object-oriented programs
- Patterns for refinement automation
- Developing topology discovery in Event-B
- Proving Quicksort Correct in Event-B
- Atomic actions, and their refinements to isolated protocols
- The Composition of Event-B Models
- Building Specifications in the Event-B Institution
- Consistency-preserving refactoring of refinement structures in Event-B models
- A formal model for blockchain-based consent management in data sharing
- A parametric rely-guarantee reasoning framework for concurrent reactive systems
- On the Purpose of Event-B Proof Obligations
This page was built for publication: Refinement, decomposition, and instantiation of discrete models: application to Event-B
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5294155)
