package symkat
Symbolic Algorithms for Kleene algebra with Tests (KAT)
Install
Dune Dependency
Authors
Maintainers
Sources
symkat-1.3.tgz
md5=8e1ef90db0be25d435f6dc51a06377ab
Description
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
Published: 25 Nov 2014
Dependencies (4)
-
ocamlbuild
build -
safa
= "1.3" -
ocamlfind
build -
ocaml
>= "4.02.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page