B\"uchi Complementation and Size-Change Termination

DOI10.2168/LMCS-8(1:13)2012zbMath1241.68080OpenAlexW2037801799MaRDI QIDQ2881080

Moshe Y. Vardi, Seth Fogarty

Publication date: 3 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-8(1:13)2012

zbMATH Keywords

formal verificationmodel checkingBüchi automataBüchi complementation

Mathematics Subject Classification ID

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

Related Items

On the power of finite ambiguity in Büchi complementation, Towards a grand unification of Büchi complementation constructions, Unnamed Item