Information about keymaera.org (KeYmaera: A Hybrid Theorem Prover for Hybrid Systems)

Rating

Last update: 23.11.2016, 03:02 (update every 3 days)

ip-address that hosts the domain: 80.237.132.24. Name keymaera.org refers to 8-character domains. Add your reviews about keymaera.org below in the form of.

Domain name:	keymaera.org
Name:	KeYmaera: A Hybrid Theorem Prover for Hybrid Systems
Description:	KeYmaera is a hybrid verification tool for hybrid systems. It supports differential dynamic logic for hybrid programs and combines deductive, real algebraic, and computer algebraic prover technologies for verifying parameterized hybrid systems.
Keywords:	KeYmaera, HyKeY, differential dynamic logic, hybrid systems verification tool, hybrid systems prover, hybrid systems proof, KeYmaera verification tool, hybrid theorem prover, sequent calculus, automated theorem proving, decision procedures, computer algebra, verification of parametric hybrid systems, quantifier elimination, first-order real arithmetic, deduction, hybrid programs, parameter analysis, differential invariants, differential variants, KeY, Mathematica, Redlog, Z3, QEPCAD, MetiTarski, parametric verification, iterative background closure, proof tree, chimaera, chimera
DNS-server:	ns1.hans.hosteurope.de ns2.hans.hosteurope.de
Provider:	AS20773 HOSTEUROPE-AS
Organization:	Hosteurope GmbH
Country:	Germany, North Rhine-Westphalia, Hoest
How many characters in domain:	8
IP that hosts the domain:	80.237.132.24 (all sites on this IP)