The following pages link to (Q5703804):
Displaying 16 items.
- Experiments in program verification using Event-B (Q432154) (← links)
- On the purpose of Event-B proof obligations (Q539230) (← links)
- Retrenchment for Event-B: UseCase-wise development and Rodin integration (Q539231) (← links)
- Introducing extra operations in refinement (Q736913) (← links)
- Verification of compliance for multilevel models in individual trace semantics (Q2064403) (← links)
- Spot the difference: a detailed comparison between B and Event-B (Q2117587) (← links)
- Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
- Reachability analysis and simulation for hybridised Event-B models (Q2165506) (← links)
- Consistency-preserving refactoring of refinement structures in Event-B models (Q2418044) (← links)
- Event domains, stable functions and proof-nets (Q2864146) (← links)
- Generic tools via general refinement (Q2873690) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- Proving Quicksort Correct in Event-B (Q2994490) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)
- Sound and Relaxed Behavioural Inheritance (Q5861787) (← links)