On (Omega-)regular model checking

DOI10.1145/1838552.1838554zbMath1351.68165OpenAlexW2063247622MaRDI QIDQ2946619

Pierre Wolper, Axel Legay

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1838552.1838554

zbMATH Keywords

extrapolationimplementationtransducersinfinite-state system(Omega-)regular model checking

Mathematics Subject Classification ID

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

Related Items (1)

Regular model checking with regular relations

This page was built for publication: On (Omega-)regular model checking