Imandra is a company that develops a cloud-native automated reasoning system. Its products include Markets, an AI-powered model-based software development for trading systems; Protocol Language, a tool for system interface modeling, simulation, testing, and audit; Connectivity, software to API digitization, testing, performance monitoring, etc. The company caters to the financial services, government, and defense sectors.