Publication:2754072
From MaRDI portal
zbMath0974.68083MaRDI QIDQ2754072
Orna Kupferman, Moshe Y. Vardi
Publication date: 11 November 2001
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Expressiveness and succinctness of a logic of robustness, Unnamed Item, An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems, Unnamed Item, Efficient CTL model-checking for pushdown systems, Linear temporal logic symbolic model checking, Games with winning conditions of high Borel complexity, Partially commutative inverse monoids., Note on winning positions on pushdown games with \(\omega\)-regular conditions, From bidirectionality to alternation., Analyzing pushdown systems with stack manipulation, Fixpoint logics over hierarchical structures, Inverse monoids: decidability and complexity of algebraic questions., Unnamed Item, Efficient CTL Model-Checking for Pushdown Systems, Automata Theory and Model Checking, An Automata-Theoretic Approach to Infinite-State Systems
Uses Software