The following pages link to (Q5703804):
Displayed 11 items.
- Experiments in program verification using Event-B (Q432154) (← 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)
- 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)