CTL*
E384579
UNEXPLORED
CTL* is a highly expressive branching-time temporal logic used in computer science for specifying and verifying properties of concurrent and reactive systems.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
E. Allen Emerson
→
|
notableConcept |