自動推理

Imandra是一款基於自動推理和形式驗證技術的AI工具套件。無論您是編寫關鍵程式碼還是需要瞭解系統可能做出的無數複雜決策，使用Imandra可確保您建立的演演算法安全、可解釋和公平。