Formal Verification of Financial Algorithms.

Grant Olney Passmore Denis Ignatovich

Published in: CADE (2017)

Keyphrases

symbolic model checking
formal verification
model checking
automated verification
times faster
learning algorithm
data sets
computational cost
worst case
optimization problems
decision making
search algorithm
significant improvement
machine learning algorithms
orders of magnitude