Sign in
Ctrl K
HIFIS Software Spotlights
Browse all Spotlights

All software

1Filter
Keywords
6
Program languages
10
Licenses
1
1-1 of 1
Cover image for KeYmaera X

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

  • Axiom
  • Differential Dynamic Logic
  • Hybrid Systems
  • + 3
  • Scala
  • JavaScript
  • Mathematica
  • + 7
16
353