The Relative Completeness of a Version of CTL*.

Hidetomo Machi Kohji Tomita Chiharu Hosono

Published in: CATS (2005)

Keyphrases

model checking
temporal logic
databases
computer vision
case study
real time
neural network
genetic algorithm
relational databases
formal semantics
original version
linear temporal logic