scientific article; zbMATH DE number 1304332
From MaRDI portal
Publication:4251063
zbMath0924.03045MaRDI QIDQ4251063
Orna Kupferman, Moshe Y. Vardi
Publication date: 16 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationweak monadic second-order logicspecification of systemsalternation-free \(\mu\)-calculusefficient symbolic model checkingnondeterministic Büchi tree automataweak alternating tree automata
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
On the Weak Index Problem for Game Automata ⋮ Efficiently Deciding μ-Calculus with Converse over Finite Trees ⋮ Ambiguous classes in \(\mu\)-calculi hierarchies ⋮ On the Strength of Unambiguous Tree Automata ⋮ Unambiguous Büchi Is Weak ⋮ A Characterisation of Pi^0_2 Regular Tree Languages
