scientific article; zbMATH DE number 4119600

zbMath0683.68013MaRDI QIDQ4733384

Jai Srinivasan, E. Allen Emerson

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

tree automataprogram verificationdecision proceduresbranching-time temporal logicdynamic logicsfinite-state automata on infinite objects

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Unnamed Item, A survey on temporal logics for specifying and verifying real-time systems, Automated analysis of mutual exclusion algorithms using CCS, On the logic of cooperation and propositional control, Model checking properties on reduced trace systems, An initial study of time complexity in infinite-domain constraint satisfaction, A logic of intentions and beliefs, Unnamed Item, Point algebras for temporal reasoning: Algorithms and complexity