Imandra Markets: Connectivity®

AI for designing, auditing and calibrating
complex trading connectivity

Exclusive integration with Itiviti's Conductor

Testing coverage

Imandra reasons about ALL of the possible ways your clients can interact with your platform and compresses this infinity into a set of distinct edge cases. In our experience, Imandra uncovered at least 3x the number of unique test cases written by human QA engineers.

Imandra Markets Benefit - Test coverage

Time to market

Before Imandra Markets, writing certification test cases was a painful and manual process - taking about 4 months for a typical platform. From start to finish - we bring this down to a few days.

Imandra Markets Benefit - Time to market

Actionable intelligence

We don’t view certification as a ‘one-off’ exercise. Instead, we empower you to analyze your clients’ interaction with your platform to extract actionable intelligence. Imandra gives you unprecedented insight into how your customers use your platform, detects any changes and identifies opportunities to improve their experience.

Imandra Markets Benefit - Financial performance

Features

Imandra Protocol Language (IPL)

Imandra Protocol Language (IPL) is a domain-specific language for encoding ROE (Rules of Engagement) documents. We created IPL to make it as easy as possible to precisely encode documents like FIX specifications. Unlike an MS Word document, IPL forces the developer to be very precise so the resulting model is susceptible to analysis by AI. Moreover, with a push of a button you can turn an IPL model into a documentation PDF, an on-demand simulation environment, a production log auditor or use IPL to generate actionable client intelligence.

PSE Code Snippet
Illustration of Imandra toolset

Region Decomposition

Region Decomposition is a novel AI technique for automatically generating test suites for complex financial systems. We have seamlessly integrated it with IPL for creating client certification test suites. Efforts that traditionally were qualitative and manual, taking 4 months on average to do, are now completely automated with IPL and Region Decomposition. Region Decomposition analyzes ALL of the ways your clients can interact with your system and lets you choose the relevant edge cases to be transformed into certification test suites.

Illustration of Imandra toolset

Rule Synthesis

Rule Synthesis is a Machine Learning (ML) technique for extracting logical patterns from complex sequential data (e.g. FIX logs). Imandra’s Rule Synthesis feature speeds up IPL development by analyzing historic log files and converting recognized logical patterns into an IPL model. While manual review/edit of the IPL model would still be required (as the logs may not reflect the entire current state of the interface), Rule Synthesis gets you 80% there.

Illustration of symbolic reasoning combined with machine learning.
Illustration of Imandra toolset

On-Demand Simulators

Any IPL model can be quickly turned into a simulation environment. No additional scripting required - Imandra will use the logic contained within an IPL model to simulate how your system may respond to the client’s requests. These simulators are highly customizable and leverage Imandra’s powerful constraint solving techniques to replicate non-trivial behavior of your system.

Illustration of Imandra toolset

Flow Insight

Extract actionable intelligence from your clients’ sessions. Flow Insight overlays the IPL-derived edge cases onto the session log files to give you unprecedented and systematic insight into how your clients use your systems.

Illustration of symbolic reasoning combined with machine learning.
Illustration of Imandra toolset

NEW! Integration with Itiviti’s Conductor

In early 2020, we have signed an exclusive partnership agreement with Itiviti, a world leader in financial technology and professional services. As part of the agreement, we have integrated IPL, Region Decomposition and other tools into Itiviti’s Conductor product, so you can leverage cutting edge AI techniques combined with a market leading product and services. Please contact Itiviti’s Sales team for further details.

Read the article
Illustration of Imandra toolset

Check out our Imandra Markets: Systems® page

By using this website, you agree to our cookie policy

Please note that the Imandra website no longer supports Internet Explorer

We recommend upgrading to the latest Microsoft Edge, Google Chrome, or Firefox