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 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 ->
Aesthetic Integration has provided a FIX Engine model constructed in ocaml, and verified by Imandra.Learn more ->