Sign in
Ctrl K
Carnegie Mellon University

Carnegie Mellon University

Pittsburgh, United States

education
funder
www.cmu.edu
ROR info
Wikipedia
Map
Software (1)Projects (0)Releases (56)
0Filters
Keywords
0
Program languages
0
Licenses
0
1-1 of 1

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

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