Patent №
US 10,109,010
Granted
2018-10-23
Filed 2015
Owner
AESTHETIC INTEGRATION LTD.
Lab
—
AI components
2
planning · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
14854922
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.
AI classification
Ownership
AESTHETIC INTEGRATION LTD.
assignment · 369350168
Assignors
IGNATOVICH, DENIS, PASSMORE, GRANT O.
On an employer assignment, the assignors are typically the inventors.