Publication:4251063
From MaRDI portal
zbMath0924.03045MaRDI QIDQ4251063
Moshe Y. Vardi, Orna Kupferman
Publication date: 16 November 1999
verification; weak monadic second-order logic; specification of systems; alternation-free \(\mu\)-calculus; efficient symbolic model checking; nondeterministic Büchi tree automata; weak alternating tree automata
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03D05: Automata and formal grammars in connection with logical questions
68Q60: Specification and verification (program logics, model checking, etc.)