Using formal verification to develop higher assurance, more maintainable financial software
Manfred Kerber, Colin Rowat, Neels Vosloo
| Year of publication: |
2020
|
|---|---|
| Authors: | Kerber, Manfred ; Rowat, Colin ; Vosloo, Neels |
| Published in: |
Journal of risk management in financial institutions. - London : Henry Stewart Publ., ISSN 1752-8887, ZDB-ID 2416788-5. - Vol. 13.2019/2020, 1, p. 35-46
|
| Subject: | financial software | formal verification | functional programming | model risk | provable security | SR 11-7 | Software | Softwareentwicklung | Software development | Risikomanagement | Risk management |
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10012250006