Similar Items: Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
- Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
- Alignment complete relational Hoare logics for some and all
- A Hoare logic for the coinductive trace-based big-step semantics of While
- A Hierarchy of Nondeterminism
- Mixed powerdomains for probability and nondeterminism
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language