Softpedia >Windows >  Applications filed under: theorem prover  (1 item)

Apps filed under: theorem prover

  RSS Feed for this tag 1 application totalLast updated: Mar 14th 2015, 22:03 GMT

     
  • 593 downloads
  • 2 KB
KeYmaera

KeYmaera 3.6.17

A powerful verification tool designed to be used by hybrid systems that include deductive, real a...

Mar 14th 2015, 22:03 GMT
Windows All