KeYmaera允许多个应用程序使用的技术结合起来,为了证明定理和逻辑验证。它是一个自动化的的证明器系统,支持混合动力系统和多输入类型。 该程序可以处理差分方程,不等式和非确定性离散或连续输入系统。
上一个软件:TARQUIN 4.3.2
下一个软件:ZCad 0.9.8修订719阿尔法_ZCad 0.9.8 Revision 719 Alpha