The invention pertains to a computer server configured for digitization of a multi-party market
order agreement and to communicate with a distributed ledger computer system that …

(57) ABSTRACT A system and method are provided for modeling and inter preting a
modeled digital asset and its evolution with respect to the rights of a plurality of parties, the …

Systems, methods and financial instruments enhanced with secure computation. A financial
instrument management system is implemented with secure computation capabilities …

(57) ABSTRACT A code-proving system is adapted to analyze implementa tion code for
compliance with a at least a specified model. The implementation code can be code that is …

(57) ABSTRACT A system (2000-3300, 4200-4300) and method (100, 3900, 4300) are
provided for modeling and interpreting a modeled digital asset and its evolution with respect …

Methods and systems are described for automatically setting multitasking configurations that
are used to check, by a code-checking system, implementation code that is to be deployed …

Systems and methods for software verification. In some embodiments, an application
architecture model is generated for a software application, wherein: the application archi …

Systems and methods for software verification. In some embodiments, an application
architecture model is generated for a software application, wherein: the application archi …

The technology described herein relates to an automated marketplace system for
exchanging tradeable instrument (s). In particular, the technology described herein relates to …

A system and method are provided for modeling and interpreting a modeled digital asset
and its evolution with respect to the rights of a plurality of parties, the method comprising …