Our product, Imandra, is an automated reasoning engine for analysis of data and algorithms. It allows you to model complex systems and âask questionsâ about their behavior. By âquestionsâ we mean: - Explain the decisions that a system makes - Identify anomalies in its operation (and attempt to explain them) - Generate plans to achieve specified objectives (and demonstrate alternative solutions) - Formally (mathematically) verify the system design and test its implementation As an example, one of our public sector clients is Goldman Sachs which uses Imandra to model, formally verify, audit and extract actionable intelligence from their latest European trading platform (Sigma X). Imandra is built on the latest advances in AI (symbolic and statistical) and combines expressive interfaces (converting code into mathematical logic) with unprecedented automation. Imandra may be run standalone or as a service and seamlessly integrated into other applications and inte
