symkat

Author Damien Pous <Damien.Pous@ens-lyon.fr>
License GNU LGPL v3
Homepage http://perso.ens-lyon.fr/damien.pous/symkat/
Maintainer Damien Pous <Damien.Pous@ens-lyon.fr>
Dependencies
& ocamlbuild
ocamlfind
safa >= 1.4
Available ocaml-version >= "4.02.0"
Published Feb 2, 2016
Source [http] http://perso.ens-lyon.fr/damien.pous/symkat/symkat-1.4.tgz
ed47c80907d6dc6291c55502fa10a52b
Statistics Not installed in the last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/symkat/symkat.1.4/opam

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

No package is dependent