PV0 SRM: Symbolic Regex Matcherquickly generates matches from regular expressions

Symbolic Regex Matcher, a tool for fast match generation from extended regular expressions

Application domain/field

Expected input

Regular expression

Format:

.NET

Internals

SRM supports match detection as well as match generation.

Comments

License: MIT

Links

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

Last commit date

15 April 2021

Related papers

https://doi.org/10.1007/978-3-030-17462-0_24 (TACAS '19)

Last publication date

4 April 2019

Related tools

Other regex matcher: RE2

ProVerB specific

View/edit source (Markdown)



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