Program
Verification
Book

PV1 ⊧ SVPALibsupports creating and transforming symbolic automata

Open-source library for symbolic automata

Application domain/field

Symbolic automata
Symbolic visibly pushdown automata
Symbolic streaming string transducers
Symbolic finite transducers

Type of tool

Library

Automaton Library

Links

https://pages.cs.wisc.edu/~loris/symbolicautomata.html (project page)
https://github.com/lorisdanto/symbolicautomata (main repo)
- Last commit date: 17 Aug 2022 (default branch)
https://github.com/lorisdanto/automatark (benchmarks)
- Last commit date: 24 Jun 2018 (default branch)
Last commit date: 17 Aug 2022 (last activity)

Related papers

The Learnability of Symbolic Automata (CAV'18)

ProVerB specific

Markdown description: view/edit
Reason for this entry: CAV 2018
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.