scientific article
From MaRDI portal
Publication:3086936
zbMath1234.03026MaRDI QIDQ3086936
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automatamonadic second-order logicmodel-checkingsurvey paperinfinite wordsmodal \(\mu\)-calculusinfinite treescomputation-tree logic (CTL)linear-time temporal logic (LTL)
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (15)
Abstract interpretation as automated deduction ⋮ The mu-calculus and Model Checking ⋮ Abstract Interpretation as Automated Deduction ⋮ Model theory of monadic predicate logic with the infinity quantifier ⋮ Unnamed Item ⋮ From model checking to equilibrium checking: reactive modules for rational verification ⋮ Randomization in Automata on Infinite Trees ⋮ On the power of finite ambiguity in Büchi complementation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Counting branches in trees using games ⋮ State of Büchi Complementation ⋮ Monoidal-closed categories of tree automata ⋮ Unnamed Item ⋮ Projection for Büchi Tree Automata with Constraints between Siblings
This page was built for publication:
