scientific article; zbMATH DE number 5173921
From MaRDI portal
Publication:5294155
zbMath1118.68392MaRDI QIDQ5294155
Stefan Hallerstede, Jean-Raymond Abrial
Publication date: 24 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (20)
Theorem proving graph grammars with attributes and negative application conditions ⋮ Building Specifications in the Event-B Institution ⋮ Formal models for consent-based privacy ⋮ Consistency-preserving refactoring of refinement structures in Event-B models ⋮ Refining privacy-aware data flow diagrams ⋮ A formal model for blockchain-based consent management in data sharing ⋮ Experiments in program verification using Event-B ⋮ On the Purpose of Event-B Proof Obligations ⋮ The Composition of Event-B Models ⋮ Proving Quicksort Correct in Event-B ⋮ Linking Event-B and Concurrent Object-Oriented Programs ⋮ On the purpose of Event-B proof obligations ⋮ Atomic actions, and their refinements to isolated protocols ⋮ Composing model programs for analysis ⋮ Developing Topology Discovery in Event-B ⋮ Derivation of concurrent programs by stepwise scheduling of Event-B models ⋮ Incremental System Modelling in Event-B ⋮ Developing topology discovery in Event-B ⋮ Laws of mission-based programming ⋮ Spot the difference: a detailed comparison between B and Event-B
Uses Software
This page was built for publication: