A Refined Resolution Calculus for CTL.

Lan Zhang Ullrich Hustadt Clare Dixon

Published in: CADE (2009)

Keyphrases

model checking
temporal logic
transition systems
high resolution
temporal properties
consequence finding
data sets
low resolution
bounded model checking
neural network
artificial intelligence
multi agent
video sequences
sampling rate
automated deduction
concurrent systems