Program
Verification
Book

PV0 ⊧ Automataa library to compose symbolic automata and prepare them for analysis

.NET library for composing and analyzing regular expressions, automata and transducers

Application domain/field

Regular expressions
Automata
Transducers
Symbolic automata

Type of tool

Library

Comments

License: MIT License

Automaton Library

Links

Repository: https://github.com/AutomataDotNet/Automata

Last commit date: 30 May 2020 (default branch)
Last commit date: 21 Jul 2020 (last activity)

Related papers

Minimization of Symbolic Transducers (CAV '17)

Last publication date

13 July 2017

ProVerB specific

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

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