Welcome

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

Imandra Core Documentation

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 ->

Languages and interfaces

Imandra Protocol Language

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

Learn more ->

Python IDF Interface

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

Learn more ->

Imandra Rule Synth

Imandra Rule Synth is an API for synthesizing rules from log files.

Learn more ->

Models

FIX Engine

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

Learn more ->