From 6932799adcb2776fbbea8eb8aebc1f56d91e7820 Mon Sep 17 00:00:00 2001 From: Jamie Davis Date: Tue, 21 Jul 2020 10:47:07 -0400 Subject: [PATCH 1/2] add link to the TACAS 2012 paper --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 54cbeb0..718d509 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,4 @@ # Automata Automata is a .NET library that provides algorithms for composing and analyzing _regular expressions_, _automata_, and _transducers_. In addition to classical word automata, it also includes algorithms for analysis of _tree automata_ and _tree transducers_. The library covers algorithms over finite alphabets as well as their _symbolic_ counterparts. In symbolic automata concrete characters have been replaced by _character predicates_. Such predicates can range over very large or even _infinite_ alphabets, like integers. Predicates can be supported by an SMT solver as a plugin. + +For an overview of the library please see: [Veanes and Bjørner *Symbolic Automata: The Toolkit* in TACAS 2012](https://doi.org/10.1007/978-3-642-28756-5_33). From 4e43412d6a2dc3bcf0e4527981d2f670c1d5482c Mon Sep 17 00:00:00 2001 From: Jamie Davis Date: Tue, 21 Jul 2020 10:48:57 -0400 Subject: [PATCH 2/2] match with the srm reference format --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 718d509..029a6d1 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ # Automata Automata is a .NET library that provides algorithms for composing and analyzing _regular expressions_, _automata_, and _transducers_. In addition to classical word automata, it also includes algorithms for analysis of _tree automata_ and _tree transducers_. The library covers algorithms over finite alphabets as well as their _symbolic_ counterparts. In symbolic automata concrete characters have been replaced by _character predicates_. Such predicates can range over very large or even _infinite_ alphabets, like integers. Predicates can be supported by an SMT solver as a plugin. -For an overview of the library please see: [Veanes and Bjørner *Symbolic Automata: The Toolkit* in TACAS 2012](https://doi.org/10.1007/978-3-642-28756-5_33). +For an overview of the library please see: [Veanes and Bjørner. *Symbolic Automata: The Toolkit*. In TACAS 2012](https://doi.org/10.1007/978-3-642-28756-5_33).