We are witnessing a rapid development and adoption of algorithms. At the same time, we need to develop the monitoring and managing of their safety. In the algorithmic age companies are (and should be) increasingly concerned about potential harm that their systems can cause, both in terms of reputation and financially. Knight Capital’s experience (~$450m) caused by a glitch in its algorithmic trading system is a paradigmatic example. As such, in addition to societal, legislative and regulatory pressures, companies themselves are keen to assure their systems are trustworthy.1