symkatversion
Symbolic Algorithms for Kleene algebra with Tests (KAT)
This OCaml library contains several constructions for Kleene algebra with tests (KAT), that produce symbolic automata out of KAT expressions, which can then be checked for equivalence using the symbolic algorithms provided in the SAFA library.
These constructions are described in the following paper, in Proc. POPL'15 ; http://doi.acm.org/10.1145/2676726.2677007 https://hal.archives-ouvertes.fr/hal-01021497v2/document
| Author | Damien Pous <Damien.Pous@ens-lyon.fr> |
|---|---|
| License | LGPL-3.0-only |
| Published | |
| Homepage | http://perso.ens-lyon.fr/damien.pous/symkat/ |
| Maintainer | Damien Pous <Damien.Pous@ens-lyon.fr> |
| Dependencies |
|
| Source [http] | http://perso.ens-lyon.fr/damien.pous/symkat/symkat-1.3.tgz sha256=661b59d75c315317ca2016cf36fb53570af51a8aa5883bce2ad387ea72ba0aea md5=8e1ef90db0be25d435f6dc51a06377ab |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/symkat/symkat.1.3/opam |
No package is dependent
