Cited in
(12)- Enabledness and termination in refinement algebra
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- Program analysis and verification based on Kleene algebra in Isabelle/HOL
- RALL
- GUItar
- PDCoq
- A sketch of a dynamic epistemic semiring
- Local variable scoping and Kleene algebra with tests
- Using probabilistic Kleene algebra pKA for protocol verification
- Deciding Kleene algebra terms equivalence in Coq
- Synchronous Kleene algebra
- Canonical finite models of Kleene algebra with tests
This page was built for software: KAT-ML
