Ctrl K

Software Projects Organisations

Ctrl K

Limited functionality: Your browser does not support JavaScript.

Car

Carnegie Mellon University

Pittsburgh, United States

education

funder

Software (1)Projects (0)Releases (56)

0Filters

Order by

Keywords

0

Program languages

0

Licenses

0

Items

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