Skip to search formSkip to main contentSkip to account menu

CTL*

Known as: CTL Star 
CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL). It freely combines path quantifiers and temporal operators… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Atomic formulaComputation tree logicComputational complexity theoryContext-free grammar

Broader (2)

Logic in computer scienceTemporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
QBF Encoding of Temporal Properties and QBF-Based Verification
SAT and QBF solving techniques have applications in various areas. One area of the applications of SAT-solving is formal… 
2012
2012
Achieving Completeness in Bounded Model Checking of Action Theories in ASP
Temporal logics can be used in reasoning about actions for specifying constraints on domain descriptions and temporal properties… 
2011
2011
Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems
Model checking, a formal automatic verification method, has been widely used in multi-agent systems to verify specifications that… 
2010
2010
A Decidable Class of Nested Iterated Schemata
Many problems can be specified by patterns of propositional formulae depending on a parameter, e.g. the specification of a… 
2010
2010
Developer-friendly verification of process-based systems
2008
2008
Improving state class constructions for CTL* model checking of time Petri nets
The state space explosion is still one of the most challenging problems in formal verification using enumerative techniques. The… 
2004
2004
A Logical Approach to Security in the Context of Ambient Calculus
2001
2001
Forest fuel reduction through energy wood production using a small chipper/CTL harvesting system
In the summer of 2000, fire destroyed millions of acres of forest across the United States. This study investigates the… 
1993
1993
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
The framework underlying CTL* is extended in order to include past operators Recent developments in areas related to concurrent… 
1987
1987
NEC v. Intel: Will Hardware Be Drawn into the Black Hole of Copyright Editors'
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)