High Assurance Software for Financial Regulation and Business Platforms
Abstract elided by the publisher.
Related papers
- Galois: high assurance software ICFP 2004
- A domain-specific controlled English language for automated regulatory compliance (industrial paper) SLE 2017
- Functional Programming in Financial Markets (Experience Report) ICFP 2024
- Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software TOPLAS 2026
- Automated regression testing of BPMN 2.0 processes: a capture and replay framework for continuous delivery GPCE 2016
- Running the manual: an approach to high-assurance microkernel development Haskell 2006
- Type-theory in color ICFP 2013
- A trusted mechanised JavaScript specification POPL 2014