BLOX Markets picks Imandra for Openpool onboarding and software assurance

BLOX Markets is teaming with Imandra to use automated reasoning for onboarding, certification and software verification at Openpool, its planned retail-focused U.S. equities venue. The move aims to replace manual market-infrastructure workflows with machine-readable specifications and formal verification before the venue goes live.

Why it matters: - BLOX Markets is trying to make Openpool easier to connect to, certify and trust before launch. - The partnership replaces static documentation and manual testing with machine-readable market infrastructure and formal verification. - For market venues, faster onboarding and provable software correctness can reduce operational burden and lower the risk of production issues.

What happened: - BLOX Markets announced a strategic partnership with Imandra on June 30, 2026. - The companies will use Imandra Connectivity and CodeLogician as core parts of Openpool’s connectivity, certification and software assurance stack. - Openpool is BLOX Markets’ upcoming retail-focused U.S. equities trading venue.

The details: - Imandra Connectivity, powered by the Imandra Protocol Language, will serve as a living, machine-readable model of Openpool’s protocol. - Firms connecting to Openpool will be able to validate implementations against an authoritative specification. - The system will generate simulators and test environments to measure certification progress. - Openpool participants are expected to get more transparency into venue behavior before going live. - BLOX Markets said the approach is intended to create a faster and more efficient onboarding experience. - BLOX Markets will also integrate CodeLogician, Imandra’s logic-first AI reasoning platform for software verification. - CodeLogician runs on ImandraX, Imandra’s automated reasoning engine. - The platform lets engineers and AI coding agents build mathematical models of software systems and formally verify behavior. - The technology is designed to prove critical properties, expose edge cases and verify correctness before production. - BLOX Markets said Openpool is not yet operational and remains subject to regulatory filing and regulatory approvals. - BLOX Markets is an independent, New York City-based company backed by private investors. - The company said Openpool is intended to broaden access and enhance market efficiency. - BLOX Markets provided a product page at More information. - Imandra said more information is available at More information.

Between the lines: - The deal reflects a broader shift in market infrastructure toward machine-readable specs and AI-native workflows. - Imandra is extending its footprint across global trading venues in the U.S., U.K. and Europe. - The partnership suggests venues are moving toward measurable onboarding and certification, rather than relying only on manual review and static FIX documentation.

What's next: - BLOX Markets will continue building Openpool’s launch infrastructure around Imandra’s tools. - The venue still needs the required regulatory steps before it can operate. - If approved, Openpool would enter the market with automated onboarding and formal software assurance built in from the start.

The bottom line: - BLOX Markets is betting that mathematically verified infrastructure will make a new trading venue faster to onboard, easier to certify and more reliable to run.