System and method for modeling and verifying financial trading platforms

System and method for modeling and verifying financial trading platforms

A computer-implemented method assesses operation of a financial computing system (FCS). An assessment computer system generates code for a model of the FCS that comprises a model specification for the FCS and a model environment for the FCS. The code for the model uses a type-system based logical pr...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Passmore, Grant O, Ignatovich, Denis
Format: Patent
Sprache:eng
Schlagworte:
CALCULATING
COMPUTING
COUNTING
DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FORADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORYOR FORECASTING PURPOSES
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE,COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTINGPURPOSES, NOT OTHERWISE PROVIDED FOR
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A computer-implemented method assesses operation of a financial computing system (FCS). An assessment computer system generates code for a model of the FCS that comprises a model specification for the FCS and a model environment for the FCS. The code for the model uses a type-system based logical programming language that supports typed recursive functions. The assessment computer system generates mathematical axioms that describe the operation of the FCS by compiling the code for the model and assesses the operation of the financial computer system by analyzing the mathematical axioms.