Skip to search formSkip to main contentSkip to account menu

Computation tree logic

Known as: CTL, Computational tree logic 
Computation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
It is known that paraconsistent logical systems are more appropriate for inconsistency-tolerant and uncertainty reasoning than… 
Highly Cited
2011
Highly Cited
2011
In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction… 
2010
2010
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators… 
2009
2009
In modal logics, graded (world) modalities have been deeply investigated as a useful framework for generalizing standard… 
2009
2009
We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree… 
2006
2006
  • A. Rensink
  • International Conference on Concurrency Theory
  • 2006
  • Corpus ID: 18576683
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over… 
Review
2004
Review
2004
In this survey we motivate, define and explain model checking of probabilistic deterministic and nondeterministic systems using… 
Highly Cited
2001
Highly Cited
2001
  • Mark Reynolds
  • Journal of Symbolic Logic (JSL)
  • 2001
  • Corpus ID: 37041207
Abstract We give a sound and complete axiomatization for the full computation tree logic. CTL*, of R-generable models. This… 
Review
1996
Review
1996
  • S. Yovine
  • European Educational Forum
  • 1996
  • Corpus ID: 11315145
The theory of timed automata provides a formal framework to model and to verify the correct functioning of real-time systems… 
Highly Cited
1982
Highly Cited
1982
In this paper we consider the Computation Tree Logic (CTL) proposed in [CE] which extends the Unified Branching Time Logic (UB…