Differential Dynamic Logic Websites
André Platzer @ Carnegie Mellon University
André Platzer, Associate Professor @ Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, mathematics, hybrid systems, and verification.
Not Applicable
$
8.95
KeYmaera X: A Hybrid Systems Theorem Prover
KeYmaera X is a next-generation 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
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
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
