KeYmaera下载地址

一个强大的验证工具，设计用于混合动力系统，其中包括演绎，实代数，计算机代数技术

KeYmaera允许多个应用程序使用的技术结合起来，为了证明定理和逻辑验证。它是一个自动化的的证明器系统，支持混合动力系统和多输入类型。

该程序可以处理差分方程，不等式和非确定性离散或连续输入系统。