Description
User Reviews for KeYmaera FOR MAC 1
-
for KeYmaera FOR MAC
KeYmaera FOR MAC is a powerful tool for hybrid system verification, combining deductive and algebraic technologies seamlessly. Impressive automation for theorem proving.