ACTUS formalizes and implements in machine-readable form the terms and business-logic of virtually all financial contracts.