System and method for modeling and verifying financial trading platforms
AssigneeAesthetic Integration Limited
InventorsDenis Ignatovich, Grant O. Passmore
Life of this patent
Estimating the term…
Abstract
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.
Claims19
A computer-implemented method for assessing operation of a financial computer system (FCS), the method comprising:
- generating, by an assessment computer system, code for a model of the FCS that comprises:
- a model environment for the FCS that comprises an axiomatized library of executable source code about one or more characteristics of the FCS,
- wherein the code for the model comprises a type-system based logical programming language;
- generating mathematical axioms that describe the operation of the FCS by compiling, by the assessment computer system, the code for the model, wherein the mathematical axioms are generated in part based on axiomatic operational semantics of the type-system based logical programming language of the code for the model;
- and
- assessing the operation of the financial computer system by analyzing, by the assessment computer system, the mathematical axioms that describe the operation of the FCS.
A computer system for assessing operation of a financial computer system (FCS), the computer system comprising:
- an assessment computer system that comprises:
- at least one processor;
- and
- at least one memory unit in communication with the at least one processor, wherein the at least one memory unit stores software that when executed by the at least one processor causes the at least one processor to:
- generate code for a model of the FCS that comprises:
- a model environment for the FCS that comprises an axiomatized library of executable source code about one or more characteristics of the FCS,
- wherein the code for the model comprises a type-system based logical programming language;
- generate mathematical axioms that describe the operation of the FCS by compiling the code for the model, wherein the mathematical axioms are generated in part based on axiomatic operational semantics of the type-system based logical programming language of the code for the model;
- and
- assess the operation of the financial computer system by analyzing the mathematical axioms that describe the operation of the FCS.
A computer system for assessing operation of a financial computer system (FCS), the computer system comprising:
- means for generating code for a model of the FCS that comprises:
- a model environment for the FCS that comprises an axiomatized library of executable source code about one or more characteristics of the FCS,
- wherein the code for the model comprises a type-system based logical programming language;
- means for generating mathematical axioms that describe the operation of the FCS by compiling the code for the model, wherein the mathematical axioms are generated in part based on axiomatic operational semantics of the type-system based logical programming language of the code for the model;
- and
- means for assessing the operation of the financial computer system by analyzing the mathematical axioms that describe the operation of the FCS.
Dependencies are inferred from the claim text.