Web Analysis for Keymaerax - keymaerax.org
Analysis Tools and applications developed in the group of André Platzer. Especially verification tools
It is a domain having org extension. This website is estimated worth of $ 8.95 and have a daily income of around $ 0.15. As no active threats were reported recently by users, keymaerax.org is SAFE to browse.
PageSpeed Score
Siteadvisor Rating
Not Applicable
Traffic Report
| Daily Unique Visitors: | Not Applicable |
| Daily Pageviews: | Not Applicable |
Estimated Valuation
| Income Per Day: | $ 0.15 |
| Estimated Worth: | $ 8.95 |
Search Engine Indexes
| Google Indexed Pages: | Not Applicable |
| Bing Indexed Pages: | Not Applicable |
Search Engine Backlinks
| Google Backlinks: | Not Applicable |
| Bing Backlinks: | Not Applicable |
Safety Information
| Google Safe Browsing: | No Risk Issues |
| WOT Trustworthiness: | Not Applicable |
| WOT Child Safety: | Not Applicable |
Website Ranks & Scores
| Alexa Rank: | Not Applicable |
| Domain Authority: | Not Applicable |
Web Server Information
Hosted IP Address:
80.237.132.24
Hosted Country:
DE
Location Latitude:
50.9298Location Longitude:
6.9489Page Resources Breakdown
Homepage Links Analysis
Website Inpage Analysis
| H1 Headings: | 1 | H2 Headings: | 1 |
| H3 Headings: | Not Applicable | H4 Headings: | Not Applicable |
| H5 Headings: | Not Applicable | H6 Headings: | Not Applicable |
| Total IFRAMEs: | Not Applicable | Total Images: | 7 |
| Google Adsense: | Not Applicable | Google Analytics: | Not Applicable |
Websites Hosted on Same IP (i.e. 80.237.132.24)
Willkommen - Permanon Shop Deutschland | Oberflächenschutz und Oberflä
Not Applicable
$
8.95
André Platzer @ Carnegie Mellon University
André Platzer, Associate Professor @ Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, mathematics, hybrid systems, and verification.
Not Applicable
$
8.95
KeYmaera X: A Hybrid Systems Theorem Prover
KeYmaera X is a next-generation theorem prover for hybrid systems with a minimal prover core and a flexible tactics language for automatic proof search.
Not Applicable
$
8.95
HTTP Header Analysis
Date: Sun, 05 Apr 2015 23:55:26 GMT
Content-Type: text/html
Transfer-Encoding: chunked
Connection: keep-alive
Server: Apache
Last-Modified: Mon, 30 Mar 2015 01:13:25 GMT
ETag: "c128ed4c-2e77-51277305e08ae"
Content-Encoding: gzip
Domain Information
| Domain Registrar: |
DropCatch.com 1498 LLC
|
|---|
Domain Nameserver Information
| Host | IP Address | Country | |
|---|---|---|---|
| ns1.hans.hosteurope.de |
|
217.115.143.140 |
Germany
|
| ns2.hans.hosteurope.de |
|
80.237.128.10 |
Germany
|
DNS Record Analysis
| Host | Type | TTL | Content |
|---|---|---|---|
| keymaerax.org | SOA | 2559 |
MNAME:
ns1.hans.hosteurope.de
RNAME: hostmaster.keymaerax.org SERIAL: 2015040421 REFRESH: 16384 RETRY: 2048 EXPIRE: 1048576 MINIMUM: 2560 |
| keymaerax.org | NS | 21599 | ns1.hans.hosteurope.de |
| keymaerax.org | NS | 21599 | ns2.hans.hosteurope.de |
| keymaerax.org | A | 21596 | 80.237.132.24 |
| keymaerax.org | AAAA | 21599 | 2a01:488:42:1000:50ed:8418:47:b230 |
| keymaerax.org | MX | 21599 |
PRIORITY:
50
TARGET: mx0.keymaerax.org |
