swMATH8506MaRDI QIDQ20515FDOQ20515
Author name not available (Why is that?)
Official website: http://www.cs.cornell.edu/Projects/KAT/
Cited In (12)
- A sketch of a dynamic epistemic semiring
- Canonical finite models of Kleene algebra with tests
- Local variable scoping and Kleene algebra with tests
- Using probabilistic Kleene algebra pKA for protocol verification
- Synchronous Kleene algebra
- Enabledness and termination in refinement algebra
- RALL
- GUItar
- PDCoq
- Program analysis and verification based on Kleene algebra in Isabelle/HOL
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- Deciding Kleene algebra terms equivalence in Coq
This page was built for software: KAT-ML
