Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms.

Grant Olney Passmore

Published in: FM (2021)

Keyphrases

lessons learned
formal methods
case study
artificial intelligence
future directions
formal specification
provably correct
black box