Program
Verification
Book

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

Regular expression
Regex matching

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 Apr 2021 (default branch)
Last commit date: 23 Sep 2021 (last activity)

Related papers

Symbolic Regex Matcher (TACAS '19)

Last publication date

4 April 2019

Related tools

Other regex matcher: RE2

ProVerB specific

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

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