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.
2015
2015
Electrowetting display pixels fabricated by nanoimprint lithography
Electrowetting displays (EWD) is a novel technology, based on the variation in coverage of a colored oil film in pixels via… 
2012
2012
Vérification Formelle des Processus Workflow Collaboratifs
In this paper, we present a method of verification of collaborative workflow processes based on model checking techniques. In… 
2009
2009
Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL
We present TCTLK, a continuous-time variant of the Computational Tree Logic with knowledge operators, generalizing both TCTL, the… 
2007
2007
Model Checking Data-Aware Workflow Properties with CTL-FO+
Most works that extend workflow validation beyond syntactical checking consider constraints on the sequence of messages exchanged… 
2006
2006
A Tableau for Bundled CTL
We present a sound, complete and relatively straightforward tableau method for deciding valid formulas in the propositional… 
2002
2002
El libro y los libreros en Córdoba en el tránsito a la Edad Moderna
E ! libro rcOcja el quehacer culiural del hombre, en su doble condición de objeto malerial y como deposilario del pensamiento, de… 
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… 
2001
2001
Supporting Abstraction when Model Checking ASM
Model checking as a method for automatic tool support for verification highly stimulates industry's interests. It is limited… 
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'