CTL* and ECTL* as Fragments of the Modal mu-Calculus.

Published in: Theor. Comput. Sci. (1994)

Keyphrases

transition systems
temporal logic
model checking
modal logic
concurrent systems
computation tree logic
control flow
practical reasoning
temporal properties
linear temporal logic
epistemic logic
sequent calculus
horizontal fragmentation
reactive systems
formal specification
bounded model checking
neural network