Safely Freezing LTL.

Published in: FSTTCS (2006)

Keyphrases

model checking
temporal logic
linear temporal logic
bounded model checking
deterministic automata
linear time temporal logic
database
learning algorithm
web services
training data
domain specific
domain independent
finite automata