Hybrid Games Verification Tool Websites
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
- veriphy.org
KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover core and a flexible tactics language for automatic proof search.
Not Applicable
$
8.95
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
- modelplex.net
KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover core and a flexible tactics language for automatic proof search.
Not Applicable
$
8.95