Reachability and Propagation for LTL Requirements Testing.

Gordon Fraser Paul Ammann

Published in: QSIC (2008)

Keyphrases

temporal logic
linear temporal logic
data sets
model checking
bounded model checking
user requirements
learning algorithm
artificial intelligence
dynamic programming
formal verification
tool support
propagation model