Imandraは、自動推論と形式検証技術に基づくAIツールキットです。重要なコードを作成する場合でも、システムが下しうる無数の複雑な意思決定を理解する必要がある場合でも、Imandraを使用すれば、作成するアルゴリズムの安全、説明可能性、公平性を確保できます。