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

Type of tool

Library

Comments

License: MIT License
Automaton Library

Links

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

Last commit date

30 May 2020

Related papers

https://doi.org/10.1007/978-3-319-63390-9_10 (CAV '17)

Last publication date

13 July 2017

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.