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).