Imandra is a provider of automated formal verification and model-based testing solutions. The company specializes in the application of formal methods to ensure the correctness and safety of complex, mission-critical software systems, particularly in the finance and autonomous industries.