This page lists the documentation for all languages and services provided by Aesthetic Integration.
Aesthetic Integration has provided a Fix Engine model constructed in ocaml, and verified by Imandra.
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.