Validity Checking for Finite Automata over Linear Arithmetic Constraints

DOI10.1007/11944836_37zbMath1177.68148OpenAlexW2110316922MaRDI QIDQ5386003

Gary Wassermann, Zhendong Su

Publication date: 17 April 2008

Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11944836_37

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Affine automata verifiers

This page was built for publication: Validity Checking for Finite Automata over Linear Arithmetic Constraints