scientific article; zbMATH DE number 4119616

MaRDI QIDQ4733398zbMATH OpenFDO

Authors I. A. Draghicescu, Edmund Clarke

Publication date 1989

zbMATH Keywords

branching-time logiccomputation tree logicsexpressivenessfairnesslinear-time logictemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Branching-time logics and fairness, revisited
• \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
• Which branching-time properties are effectively linear?
• Decision procedures and expressiveness in the temporal logic of branching time
• scientific article; zbMATH DE number 1536555

Cited in

(17)

• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• On the expressive power of hybrid branching-time logics
• Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\)
• Incompleteness of states w.r.t. traces in model checking
• Relating word and tree automata
• Temporal logic and fair discrete systems
• Branching vs. Linear Time: Semantical Perspective
• The Birth of Model Checking
• scientific article; zbMATH DE number 4027441 (Why is no real title available?)
• Expressiveness for Highly Nested Expressions in Linear Temporal Logic
• On the analysis of compensation correctness
• scientific article; zbMATH DE number 4119650 (Why is no real title available?)
• Branching-time logics and fairness, revisited
• Some Results on the Expressive Power and Complexity of LSCs
• The Common Fragment of ACTL and LTL
• Taking Some Burden Off an Explicit CTL Model Checker
• \(\omega\)-regular languages are testable with a constant number of queries

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733398)