This page lists documentations for products, technology and models created by

Aesthetic Integration.

Products

  • IMarkets Documentation

    Documentation for iMarkets.

    • Technology

    • Imandra Documentation

      Imandra is both a programming language and a reasoning engine with which you can analyse and verify properties of your programs.

    • Imandra Protocol Language

      The Imandra Protocol Language formalises banking languages such as FIX, SWIFT and IBan.

      • Models

      • FIX Engine

        Aesthetic Integration has provided a FIX Engine model constructed in ocaml, and verified by Imandra.

      • Imandra EVM

        Imandra-based formal model of the Ethereum Virtual Machine (EVM).