PROTEF: Automatic Verification of Pattern-Based LTL Templates.

Luis García Steve Roach Salamah Salamah

Published in: SEKE (2008)

Keyphrases

temporal logic
model checking
deterministic automata
linear temporal logic
linear time temporal logic
bounded model checking
data sets
finite automata
deformable templates
real world
image processing
wide range
probabilistic model