Constructing (Bi)simulations for KAT
This page contains the source code of
KAT Decider, a project which features the decision of language inclusion/equality between two KAT (Kleene algebra with tests) expressions.
A paper relating to this project is in preparation:
Almeida, R., Barbosa, L., Silva, A.: Constructing (Bi)simulations for KAT. To be submitted to
RAMiCS? 2014 (14th International Conference on Relational and Algebraic Methods in Computer Science).