Stephen Goldbaum, Attila Mihály, Tosha Ellison, Earl T. Barr, Mark Marron. High Assurance Software for Financial Regulation and Business Platforms. In Bernd Finkbeiner, Thomas Wies, editors, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Volume 13182 of Lecture Notes in Computer Science, pages 108-126, Springer, 2022. [doi]
Abstract is missing.