branching-time temporal logic CTL*

E384578 UNEXPLORED

Branching-time temporal logic CTL* is a highly expressive formalism in computer science used to specify and reason about the behavior of concurrent and reactive systems over branching time structures.

Jump to: Referenced by

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

E. Allen Emerson → notableWork → branching-time temporal logic CTL* ⓘ