Open in app
Sign inGet started
Connecting Digital Twins and Systems

Connecting Digital Twins and Systems

Imandra’s automated reasoning technology makes it possible to connect digital twins of trading systems’ APIs with their implementations.
Go to the profile of Filippo Sestini
Filippo Sestini
Validating FIX digital twins with automated reasoning

Validating FIX digital twins with automated reasoning

We introduce IPL Logic Validator tool built on the Imandra Core reasoning engine for automatic validation of IPL model logic.
Go to the profile of Nicola Mometto
Nicola Mometto
Web development (ReasonML)
Exploring The Apple FaceTime Bug with ReasonML State Machines

Exploring The Apple FaceTime Bug with ReasonML State Machines

The Apple FaceTime bug swept the news in early 2019 — callers using FaceTime were able to hear the microphone of a new participant being…
Go to the profile of Dave Aitken
Dave Aitken
Constraint solving your UIs

Constraint solving your UIs

What happens when you take a tool for reasoning about your code, and plug it into the UI of the very code that it’s reasoning about?
Go to the profile of Dave Aitken
Dave Aitken
Introducing Verified React

Introducing Verified React

Automated reasoning for ReasonReact
Go to the profile of Dave Aitken
Dave Aitken
Financial markets
Machine Reasonable Design with Imandra

Machine Reasonable Design with Imandra

On July 19th the US Securities and Exchange Commission approved changes to the 20-year old Reg ATS, bringing greater transparency to US…
Go to the profile of Denis Ignatovich
Denis Ignatovich
Formalising the FIX Protocol in Imandra

Formalising the FIX Protocol in Imandra

Financial markets run on many distributed systems – interconnected with multiple loosely-specified protocols such as FIX, SWIFT and ITCH…
Go to the profile of Kostya Kanishev
Kostya Kanishev
Machine Reasonable APIs and Regulations

Machine Reasonable APIs and Regulations

Our world runs on many distributed systems. This is especially true of financial markets – an industry plagued by expensive inefficiencies…
Go to the profile of Denis Ignatovich
Denis Ignatovich
The IEX Auction: Pursuing Greater Clarity

The IEX Auction: Pursuing Greater Clarity

Today, the behaviour of most complex financial systems such as stock exchanges, alternative trading systems (dark pools) and smart order…
Go to the profile of Ian Orton
Ian Orton
About Imandra Inc.Latest StoriesArchiveAbout MediumTermsPrivacyTeams