White Paper

Creating Safe and Fair Markets

Company: Aesthetic Integration Limited

Aesthetic Integration Limited case study

Category: Compliance

Published: 17 April 2015

Format:

download

Overview

Many deep issues plaguing today's financial markets are symptoms of a fundamental problem: The complexity of algorithms underlying modern finance has significantly outpaced the power of traditional tools used to design and regulate them. When it comes to exhaustively reasoning about the behaviour of complex algorithms, the only viable solution is formal verification, the use of deep advances in mathematical logic to automatically reason about algorithms and prove properties of programs. Aesthetic Integration is bringing formal verification to financial markets for the first time.

In this white paper intended for the wider financial industry, we present our vision for the design and regulation of electronic financial markets empowered by formal verification.

By Denis A. Ignatovich and Grant O. Passmore

 

More from Aesthetic Integration Limited

Categories related to Compliance