Docs

Imandra Logo Imandra Logo

Pages

  • Documentation Home
  • Imandra Core
  • Imandra Protocol Language
  • Imandra Rule Synth
  • FIX Engine
  • Financial Markets
    • Systems
    • Connectivity
    • Autopilot
    Key Ingredients
    • Imandra Core
    • IPL
    Explore
    • Try Imandra Online Imandra Core in your browser via Jupyter
    • Core Gallery Select categorized Imandra Core examples
    • IPL Gallery IPL state exploration demos
  • Applications
    • Formal Verification
    • Model-based Software
      Engineering
    • System Integration
    Industries
    • Financial Technology
    • Autonomous Systems
    • Machine Learning
    • Government & Defense
  • Documentation
    • Imandra Core
    Open Source
    • FIX Engine
    Languages & Interfaces
    • IPL
    • Rule Synthesis
  • Company
    • About
    • Community
    • Careers
    • Research
    Media
    • Press
    • Blog
    • Videos
  • Financial Markets
    • Systems
    • Connectivity
    • Autopilot
    Key Ingredients
    • Imandra Core
    • IPL
    Explore
    • Try Imandra Online
    • Core Gallery
    • IPL Gallery
    Applications
    • Formal Verification
    • Model-based Software
      Engineering
    • System Integration
    Industries
    • Financial Markets
    • Autonomous Systems
    • Machine Learning
    • Government & Defense
    Documentation
    • Imandra Core
    Open source
    • FIX Engine
    Languages & Interfaces
    • IPL
    • Rule Synthesis
    Company
    • About
    • Community
    • Careers
    • Research
    Media
    • Press
    • Blog
    • Videos
    User Area
    • Login

Welcome

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

Imandra Core Documentation

Repository Icon

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

Repository Icon

Imandra Protocol Language

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

Learn more ->

Repository Icon

Imandra Rule Synth

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

Learn more ->

Models

Repository Icon

FIX Engine

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

Learn more ->

Ⓒ Imandra Inc. All rights reserved.