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

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

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

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