B\"uchi Complementation and Size-Change Termination

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

Moshe Y. Vardi, Seth Fogarty

Publication date: 3 April 2012

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

zbMATH Keywords

formal verification; model checking; Büchi automata; Büchi complementation

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)