Home of Reasoning as a Service®

Imandra Markets: Systems

A modern take on Model-Based Engineering for complex financial trading systems.

Model-Based Engineering is relied upon in safety-critical industries like avionics and hardware engineering. Until now, it was impossible to apply it to financial software, but the recent advances in AI, computer science, and mathematics are changing this.

Automated testing

Imandra's Region Decomposition technology is a groundbreaking AI-powered approach to testing systems with virtually infinitely many possible states. Similar techniques are used in avionics.

Governance

Our clients use Imandra to reconcile every single decision that their systems make. Any deviation (for any reason) from the model is addressed immediately. This is what governance should be.

Design audit

In safety-critical industries, most bugs are introduced during the design stage. We apply highly automated formal verification to ensure the design of your system is correct.

Business insight

By running many "what if's" and aggregating them into actionable intelligence, Imandra gives you quantitative and precise recommendations on how to improve your clients' experience.

How we work with you:

Professional Services

We are the pioneers of applying automated reasoning to the design, testing, and audit of software in finance.

Reasoning as a Service^®

Banks and other types of financial firms use Imandra via secure connections to our public cloud infrastructure.

On-prem deployment

While we take full advantage of the cloud, we will work with you if this is not an immediate option.

Learn more

Imandra Markets: Connectivity

Home of the AI-powered FIX certification and onboarding

What used to be manual, error-prone, and time-consuming is now automated, precise, and fast. Our technology has redefined how the industry does connectivity. We'd love an opportunity to show you how.

Automated test case generation

Imandra automatically describes and translates into test scripts all the edge cases of your FIX gateway.

Design validation

Believe it or not, but specs have bugs too. IPL is designed to detect any issues before they make their way into code.

On-demand simulators

Any IPL model can be turned into an on-demand simulation environment that's faithful to how the actual gateway will behave.

Documentation

Everyone hates maintaining documentation, so we automated it away.

Actionable insight

By analyzing production trading data, we can tell you what edge cases and features your clients are using and detect any worrisome deviations.

We've created Imandra Protocol Language (IPL) to express complex system interfaces. Its mathematical precision allows us to apply cutting-edge AI to bear on system connectivity.

How we work with you:

FIX certification and onboarding, including integration with ITIVITI Conductor.

Ongoing FIX connection audit and business intelligence analysis

Development and support for proprietary trading protocols

Learn more

Imandra Markets:
Autopilot (coming soon)

Venue-specific Reinforcement Learning (RL) trading agents trained on precise and faithful venue models and their order flow. Delivered as high-performance libraries for seamless integration into your SOR. Recalibrated and updated daily. Built with breakthrough AI for reasoning about infinite state-spaces of venue logic - including order types, trading modes and messaging protocols.

Learn more

Imandra Core - the mathemagic powering it all

Imandra's logic is built directly upon the high-performance functional programming languages OCaml and ReasonML (www.ocaml.org) and (www.reasonml.github.io). This means that Imandra can directly reason about programs written in these languages. Moreover, we’ve built interfaces for other popular languages.

Learn more