A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems

DOI10.1007/11812128_27zbMath1160.68427OpenAlexW1507680901MaRDI QIDQ5757243

Bhaskar Chakraborty, Suman Roy

Publication date: 6 September 2007

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11812128_27

Mathematics Subject Classification ID

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

This page was built for publication: A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems