Andre Platzer software

KeYmaera 3.6.17

A powerful verification tool designed to be used by hybrid systems that include deductive, real algebraic, and computer algebraic technologies
Price: $0, Rating: 18, Downloads: 1 Download