Web Analysis for Keymaerax - keymaerax.org
Analysis Tools and applications developed in the group of André Platzer. Especially verification tools
1.67
Rating by CuteStat
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
0
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 |
Siteadvisor Rating: | Not Applicable |
WOT Trustworthiness: | Not Applicable |
WOT Child Safety: | Not Applicable |
Website Ranks & Scores
Alexa Rank: | Not Applicable |
Domain Authority: | Not Applicable |
Web Server Information
Page 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ä
- cleanandprotect.de
Not Applicable
$
8.95
André Platzer @ Carnegie Mellon University
- functologic.com
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
- keymaerax.com
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
HTTP/1.1 200 OK
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
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 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 | Extra |
---|---|---|---|
keymaerax.org | A | 21596 |
IP: 80.237.132.24 |
keymaerax.org | NS | 21599 |
Target: ns1.hans.hosteurope.de |
keymaerax.org | NS | 21599 |
Target: ns2.hans.hosteurope.de |
keymaerax.org | SOA | 2559 |
MNAME: ns1.hans.hosteurope.de RNAME: hostmaster.keymaerax.org Serial: 2015040421 Refresh: 16384 Retry: 2048 Expire: 1048576 Minimum TTL: 2560 |
keymaerax.org | MX | 21599 |
Priority: 50 Target: mx0.keymaerax.org |
keymaerax.org | AAAA | 21599 |
IPV6: 2a01:488:42:1000:50ed:8418:47:b230 |
Full WHOIS Lookup
WHOIS LIMIT EXCEEDED - SEE WWW.PIR.ORG/WHOIS FOR DETAILS