Author:Margus Veanes
Keyphrasesautomata theory, Domain Specific Language, monadic decomposition, Monadic predicates, MSO, regular expressions, Satisfiability Modulo Theories, SMT2, SMT-LIB, strings, symbolic automata2, symbolic transducer, theories. |