Local Completeness Logic on Kleene Algebra with Tests
Abstract elided by the publisher.
Related papers
- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests ESOP 2023
- Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra PLDI 2022
- Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time POPL 2020
- A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests POPL 2025
- On incorrectness logic and Kleene algebra with top and tests POPL 2022
- Kleene algebra modulo theories: a framework for concrete KATs PLDI 2022
- A Coalgebraic Decision Procedure for NetKAT POPL 2015
- CF-GKAT: Efficient Validation of Control-Flow Transformations POPL 2025