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 softlookup.com and receive 4/5 Score.
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 8/10 - Downloads - 102 - Score - 4/5
||Jan-David Quesel and Andre Platzer More titles >>
||Mac OS X