Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Formal Methods (FM 2021)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 13047))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Imandra Inc.: Imandra: interactive online documentation (2021). https://docs.imandra.ai/

  2. Passmore, G., et al.: The imandra automated reasoning system (system description). In: Peltier, N., Sofronie-Stokkermans, V. (eds.) Automated Reasoning, pp. 464–471. Springer International Publishing, Cham (2020)

    Chapter  Google Scholar 

  3. Passmore, G.O., Ignatovich, D.: Formal verification of financial algorithms. In: de Moura, L. (ed.) Automated Deduction - CADE 26, pp. 26–41. Springer International Publishing, Cham (2017)

    Chapter  Google Scholar 

Download references

Acknowledgements

This talk reflects joint work with our incredible team at Imandra Inc., including Denis Ignatovich, David Aitken, Matt Bray, Simon Cruanes, Elijah Kagan, Konstantin Kanishev, Ewen Maclean and Nicola Mometto.

Author information

Authors and Affiliations

  1. Imandra Inc., Austin, USA

    Grant Olney Passmore

  2. Clare Hall, University of Cambridge, Cambridge, UK

    Grant Olney Passmore

Authors
  1. Grant Olney Passmore
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Grant Olney Passmore .

Editor information

Editors and Affiliations

  1. University of Twente, Enschede, The Netherlands

    Marieke Huisman

  2. NASA Ames Research Center, Moffett Field, CA, USA

    Corina Păsăreanu

  3. Institute of Software, Chinese Academy of Sciences, Beijing, China

    Naijun Zhan

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Passmore, G.O. (2021). Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms. In: Huisman, M., Păsăreanu, C., Zhan, N. (eds) Formal Methods. FM 2021. Lecture Notes in Computer Science(), vol 13047. Springer, Cham. https://doi.org/10.1007/978-3-030-90870-6_39

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-90870-6_39

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-90869-0

  • Online ISBN: 978-3-030-90870-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation