BLOX Markets has formed a strategic partnership with neurosymbolic AI firm Imandra to integrate its technology into Openpool, an upcoming retail-focused US equities trading venue. The platform will use Imandra Connectivity and CodeLogician as foundational components for its software assurance, certification, and connectivity infrastructure.
The deployment replaces traditional static documentation and manual testing with Imandra’s machine-readable models. Using the Imandra Protocol Language, Openpool will provide connecting firms with a living specification that continuously reflects production behaviour. This allows users to validate their implementations through automated simulators, increasing transparency and efficiency during the onboarding process.
Furthermore, BLOX Markets will utilise CodeLogician, an automated reasoning engine, to formally verify software behaviour. By creating mathematical models of the system, this technology identifies edge cases and proves critical properties prior to deployment, ensuring correctness and resilience across the market infrastructure.
Subscribe to our newsletter
