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

Check Google Scholar |

More access options

In libraries world-wide (WorldCat)

In German libraries (KVK)

Which error do you want to report?

Report: URL of this record is broken

Please note: Sometimes more than one URL is available for a resource. Please click on "More Options" to display these URLs

Report: Addition of an URL to that resource

Please note: Sometimes more than one URL is available for a resource. Please click on "More Options" to display these URLs

Report: The language(s) of that resource is/are…

Please note: Required language not in the list? Please use comment field

Report: Addition of an identifier to that resource

Report: report typo

Report: Add statement

Report: Add keywords

Please use the commentary box to describe other errors

Would you like to receive a feedback?

Commentary

Please type the code from the image

For general questions please use this address.

Persistent link: https://www.econbiz.de/10012250006

A service of the