Publication:4733384
From MaRDI portal
zbMath0683.68013MaRDI QIDQ4733384
Jai Srinivasan, E. Allen Emerson
Publication date: 1989
tree automata; program verification; decision procedures; branching-time temporal logic; dynamic logics; finite-state automata on infinite objects
68Q45: Formal languages and automata
03B45: Modal logic (including the logic of norms)
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, An initial study of time complexity in infinite-domain constraint satisfaction, A logic of intentions and beliefs, Point algebras for temporal reasoning: Algorithms and complexity, Automated analysis of mutual exclusion algorithms using CCS, Model checking properties on reduced trace systems, A survey on temporal logics for specifying and verifying real-time systems, On the logic of cooperation and propositional control, Unnamed Item