The following pages link to (Q5294155):
Displaying 19 items.
- Experiments in program verification using Event-B (Q432154) (← links)
- On the purpose of Event-B proof obligations (Q539230) (← links)
- Composing model programs for analysis (Q710670) (← links)
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- Developing topology discovery in Event-B (Q1044181) (← links)
- Spot the difference: a detailed comparison between B and Event-B (Q2117587) (← links)
- Formal models for consent-based privacy (Q2168784) (← links)
- Atomic actions, and their refinements to isolated protocols (Q2268472) (← links)
- Laws of mission-based programming (Q2355382) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Consistency-preserving refactoring of refinement structures in Event-B models (Q2418044) (← links)
- Proving Quicksort Correct in Event-B (Q2994490) (← links)
- On the Purpose of Event-B Proof Obligations (Q3535369) (← links)
- The Composition of Event-B Models (Q3535377) (← links)
- Developing Topology Discovery in Event-B (Q3605457) (← links)
- Incremental System Modelling in Event-B (Q3638993) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)
- Linking Event-B and Concurrent Object-Oriented Programs (Q5403467) (← links)
- A formal model for blockchain-based consent management in data sharing (Q6113020) (← links)
