package symkat

  1. Overview
  2. Docs
Symbolic Algorithms for Kleene algebra with Tests (KAT)

Install

Dune Dependency

Authors

Maintainers

Sources

symkat-1.4.tgz
sha256=d4f2f7e5d00a61bd5489347edcf33cb68e6c5586a8ba74ca5af69fc225a4d44c
md5=ed47c80907d6dc6291c55502fa10a52b

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: 02 Feb 2016

Dependencies (4)

  1. ocamlbuild build
  2. safa >= "1.4"
  3. ocamlfind build
  4. ocaml >= "4.02.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.