PV1 supports creating and transforming symbolic automata

Open-source library for symbolic automata

Application domain/field

Type of tool

Library

Internals

the main library is called SVPALib
Automaton Library

Links

Last commit date

9 September 2021

ProVerB specific

View/edit source (Markdown)



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