Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism

DOI10.1007/978-3-662-46678-0_2zbMath1459.03034OpenAlexW324507974MaRDI QIDQ2948549

Konstantinos Mamouras

Publication date: 1 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46678-0_2

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes ⋮ Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ Extracting total Amb programs from proofs ⋮ Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism ⋮ Equational Theories of Abnormal Termination Based on Kleene Algebra

This page was built for publication: Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism