By using this website, you agree
to our cookie policy.
Imandra logo - homepage link
Docs
Try it >Sign in >

Legal

Copyright © 2025 Inc. All rights reserved.

This website was created for information purposes only and serves as an overview of services and products offered by Imandra Inc. and its subsidiaries. References to companies and Imandra, Aesthetic Integration and The Logic of Financial Risk are trademarks or pending trademarks of Imandra Inc and its subsidiaries. Imandra includes all or parts of the Caml system developed by INRIA and its contributors.

try.imandra.ai is made possible by the Jupyter open source project(license).

Aesthetic Integration

Aesthetic Integration brand and The Logic of Financial Risk are trademarks of Imandra Inc and its subsidiaries.

Privacy Policy

Footer

products

  • Imandra Markets
  • Imandra Connectivity
  • Imandra Core
  • Imandra Protocol Language

applications

  • Formal Verification
  • Model-Based Software Development
  • Imandra SysML
  • System Integration

industries

  • Finanical Services
  • Autonomous Systems
  • Trustworthy AI
  • Government and Defense

select links

  • About & Careers
  • News & Blog
  • Docs
  • Core Gallery
  • Try Imandra

Our offices are in:
Austin, TX (HQ), Edinburgh and London.

See About page for addresses and phone numbers.

Email: contact@imandra.ai

Subscribe to our newsletter

The latest news, articles, and resources, sent to your inbox quarterly.

Imandra Inc. © 2025 All rights reserved. | Legal

Made with ❤️ on 🌎

GitHubFacebookTwitterLinkedInMedium