Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,159,874 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
Alternating-time Temporal Logic
Atomic formula
CTL*
Context-free grammar
Expand
Broader (2)
Logic in computer science
Temporal logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2
Wiktor B. Daszczuk
arXiv.org
2017
Corpus ID: 8229538
Modern model checking techniques concentrate on global properties of verified systems, because the methods base on global state…
Expand
2015
2015
Temporal Causality of Social Support in an Online Community for Cancer Survivors
N. Bui
,
J. Yen
,
Vasant G Honavar
Social Computing, Behavioral Modeling, and…
2015
Corpus ID: 149479
Online health communities (OHCs) constitute a useful source of information and social support for patients. American Cancer…
Expand
2014
2014
Formal analysis of security properties in trusted computing protocols
Y. Seifi
2014
Corpus ID: 60741829
This research introduces a general methodology in order to create a Coloured Petri Net (CPN) model of a security protocol. Then…
Expand
2011
2011
Parametric Computation Tree Logic with Knowledge
A. V. Jones
,
A. Lomuscio
,
M. Knapik
,
W. Penczek
2011
Corpus ID: 6427503
We present a certain extension of temporal-epistemic logic CTLK, allowing for specification of parametric group knowledge…
Expand
2011
2011
Computation Tree Logic Based on Possibility Measure
Li Yong-ming
2011
Corpus ID: 124831109
Firstly,the definition of possibilistic Kripke structure is presented,and the possibility measure space based on it is…
Expand
2011
2011
Model Checking Extended Computation Tree Logic
Daniel May
2011
Corpus ID: 16784447
Computation Tree Logic is widely used for modelling the behaviour of simple systems over time, but its expressive power is…
Expand
2006
2006
Game Coloured Petri Nets
M. Westergaard
2006
Corpus ID: 42312911
This paper introduces the notion of game coloured Petri nets. This allows the modeler to explicitly model what parts of the model…
Expand
2006
2006
CTL - Computation Tree Logic
F. Heyer
2006
Corpus ID: 64406218
• Sovelletuimpia modaalilogiikkoja • Aikatulkinta: mahdolliset maailmat mahdollisia ajanhetkiä • Laskennallinen tulkinta…
Expand
2003
2003
An Action Computation Tree Logic With Unless Operator
R. Meolic
,
T. Kapus
,
Z. Brezočnik
2003
Corpus ID: 6770520
This paper is about action computation tree logic (ACTL), a propositional branching-time temporal logic very suitable for…
Expand
1999
1999
A Visual Formalism for Computational Tree Logic
A. Bimbo
,
E. Vicario
Journal of Visual Languages and Computing
1999
Corpus ID: 33546592
The recent advances in computer graphics and multimedia technology provide new means for the visualization of abstract…
Expand