Publication:4733423
From MaRDI portal
zbMath0683.68064MaRDI QIDQ4733423
Publication date: 1989
Related Items
Axiomatising extended computation tree logic, Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints, CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks, \(R\)-generability, and definability in branching time logics, CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus, Axiomatising extended computation tree logic, Mathematical modal logic: A view of its evolution, Strategies, model checking and branching-time properties in Maude, Compositional verification of asynchronous concurrent systems using CADP, Unified temporal logic, A proof system for unified temporal logic, Satisfiability of ECTL* with Tree Constraints