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



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


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