Enhancing Sequential LEC Using a Cumulative Verification Methodology.

Nathan Sheeley Nicolas Pena Irfan Waheed Mark H. Nodine

Published in: MTV (2008)

Keyphrases

model checking
decision trees
conceptual framework
formal verification
databases
machine learning
decision making
metadata
web services
image sequences
objective function
hidden markov models
design methodology
trading systems