Model Checking the Branching Time Temporal Logic CTL

K. Heljanko

Model Checking the Branching Time Temporal Logic CTL

Research output: Book/Report › Commissioned report

Original language	English

Publication status	Published - 1997
Externally published	Yes
MoE publication type	D4 Published development or research report or study

Fields of Science

CTL
model cheching
PROD
reachability analysis
temporal logic
verification

Cite this

@book{3b0ef0f6e6744919be06c5d57dd14e4a,

title = "Model Checking the Branching Time Temporal Logic CTL",

keywords = "CTL, model cheching, PROD, reachability analysis, temporal logic, verification, CTL, model cheching, PROD, reachability analysis, temporal logic, verification, CTL, model cheching, PROD, reachability analysis, temporal logic, verification",

author = "K. Heljanko",

year = "1997",

language = "English",

}

TY - BOOK

T1 - Model Checking the Branching Time Temporal Logic CTL

AU - Heljanko, K.

PY - 1997

Y1 - 1997

KW - CTL

KW - model cheching

KW - PROD

KW - reachability analysis

KW - temporal logic

KW - verification

KW - CTL

KW - model cheching

KW - PROD

KW - reachability analysis

KW - temporal logic

KW - verification

KW - CTL

KW - model cheching

KW - PROD

KW - reachability analysis

KW - temporal logic

KW - verification

M3 - Commissioned report

BT - Model Checking the Branching Time Temporal Logic CTL

ER -