Summary
Report published to outline the payment systems formal verification - state of the art.
More information & hyperlinks