KeYmaera 3.0  Description:

KeYmaera for Mac, Free verification tool for hybrid systems

KeYmaera is a free hybrid verification tool for hybrid systems that combines deductive, real algebraic, and computer algebraic prover technologies. KeYmaera is an automated and interactive theorem prover for a natural specification and verification logic for hybrid systems. KeYmaera supports differential dynamic logic (dL) [12.] [10.] , which is a real-valued first-order dynamic logic for hybrid programs, a program notation for hybrid automata. For automating the verification process, KeYmaera implements a generalized free-variable sequent calculus and automatic proof strategies that decompose the hybrid system specification symbolically.


To conclude KeYmaera works on Mac operating system and can be easily downloaded using the below download link according to Freeware license. The download file is only 2 KB  in size.
KeYmaera was filed under the Math category and was reviewed in and receive 5/5 Score.
KeYmaera has been tested by our team against viruses, spyware, adware, trojan, backdoors and was found to be 100% clean. We will recheck KeYmaera when updated to assure that it remains clean.

KeYmaera user Review

Please review KeYmaera application and submit your comments below. We will collect all comments in an effort to determine whether the KeYmaera software is reliable, perform as expected and deliver the promised features and functionalities.

Popularity 10/10 - Downloads - 446 - Score - 5/5

Category: Math 
Publisher: Jan-David Quesel and Andre Platzer
Last Updated: 03/03/2019
Requirements: Mac OS X
License: Freeware
Operating system: Mac
Hits: 748
File size: 2 KB 
Price: Not specified

Leave A comment
Name: *
E-Mail: *
Comment: *