Downloadable computer software for managing and verifying financial transactions; Downloadable computer software for producing financial models