Information about keymaerad.org (KeYmaeraD: Distributed Theorem Prover for Distributed 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 keymaerad.org refers to 9-character domains. Add your reviews about keymaerad.org below in the form of.

Domain name:	keymaerad.org
Name:	KeYmaeraD: Distributed Theorem Prover for Distributed Hybrid Systems
Description:	KeYmaeraD is a distributed theorem prover for verifying distributed hybrid systems. It implements quantified differential dynamic logic for quantified hybrid programs.
Keywords:	KeYmaeraD, quantified differential dynamic logic, sequent calculus, automated theorem proving, decision procedures, computer algebra, verification of distributed hybrid systems, quantifier elimination, deduction, quantified hybrid programs, parametric verification, 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:	9
IP that hosts the domain:	80.237.132.24 (all sites on this IP)