A powerful verification tool designed to be used by hybrid systems that include deductive, real algebraic, and computer algebraic technologies.
- KeYmaera
- Version :3.6.17
- License :Freeware
- OS :Windows All
- Publisher :Andre Platzer
KeYmaera Description
KeYmaera allows you to combine the technologies used by multiple applications in order to prove theorems and logic verifications. It is an automated prover system that supports hybrid systems and multiple input types.
The program can handle differential equations, inequalities and non-deterministic discrete or continuous input systems.
System requirements
- Java
- Mathematica or other compatible solver