Welcome

This page lists documentation pages for technology and models created by Imandra Inc.

Python IDF Interface

Documentation and examples of our newly released Python interface to Iterative Decomposition Framework.

Learn more ->

Imandra Documentation

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

Learn more ->

Imandra Protocol Language

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

Learn more ->

FIX Engine

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

Learn more ->