Sign in
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