The following pages link to (Q3996918):
Displaying 16 items.
- Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
- Property transformation under specification change (Q352027) (← links)
- A functional framework for agent-based models of exchange (Q426933) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- An elementary and unified approach to program correctness (Q607408) (← links)
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- Verification conditions are code (Q855274) (← links)
- Splitting atoms safely (Q879357) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Mathematics for reasoning about loop functions (Q1044182) (← links)
- Refinement for user interface designs (Q1047216) (← links)
- An Introduction to Grammar Convergence (Q3605471) (← links)