Web Analysis for Veriphy - veriphy.org
KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover core and a flexible tactics language for automatic proof search.
2.31
Rating by CuteStat
veriphy.org is 6 years 2 months old. 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, veriphy.org is SAFE to browse.
PageSpeed Score
39
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
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: | Not Applicable |
| H3 Headings: | 4 | H4 Headings: | Not Applicable |
| H5 Headings: | Not Applicable | H6 Headings: | Not Applicable |
| Total IFRAMEs: | Not Applicable | Total Images: | 12 |
| 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
Analysis Tools and Applications
Analysis Tools and applications developed in the group of André Platzer. Especially verification tools
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
HTTP/1.1 200 OK
Date: Sun, 18 Feb 2018 19:07:10 GMT
Server: Apache
Last-Modified: Wed, 14 Feb 2018 19:58:41 GMT
ETag: "5b101042-3293-5653189aa5e40"
Accept-Ranges: bytes
Content-Length: 12947
Content-Type: text/html
X-Cache: MISS from proxy-node-009
X-Cache-Lookup: MISS from proxy-node-009:4896
Via: 1.1 proxy-node-009 (squid/3.5.12)
Connection: keep-alive
Date: Sun, 18 Feb 2018 19:07:10 GMT
Server: Apache
Last-Modified: Wed, 14 Feb 2018 19:58:41 GMT
ETag: "5b101042-3293-5653189aa5e40"
Accept-Ranges: bytes
Content-Length: 12947
Content-Type: text/html
X-Cache: MISS from proxy-node-009
X-Cache-Lookup: MISS from proxy-node-009:4896
Via: 1.1 proxy-node-009 (squid/3.5.12)
Connection: keep-alive
Domain Information
| Domain Registrar: |
DropCatch.com 1498 LLC
|
|---|---|
| Registration Date: | Feb 17, 2018, 12:00 AM 6 years 2 months 1 week ago |
| Domain Status: |
serverTransferProhibited
addPeriod
|
| Owner's E-Mail: |
ap@symbolaris.com
|
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 |
|---|---|---|---|
| veriphy.org | A | 86394 |
IP: 80.237.132.24 |
| veriphy.org | NS | 86399 |
Target: ns2.hans.hosteurope.de |
| veriphy.org | NS | 86399 |
Target: ns1.hans.hosteurope.de |
| veriphy.org | SOA | 2560 |
MNAME: ns1.hans.hosteurope.de RNAME: hostmaster.veriphy.org Serial: 2018021716 Refresh: 16384 Retry: 2048 Expire: 1048576 Minimum TTL: 2560 |
| veriphy.org | MX | 86400 |
Priority: 50 Target: mx0.veriphy.org |
| veriphy.org | AAAA | 86400 |
IPV6: 2a01:488:42:1000:50ed:8418:47:b230 |
Full WHOIS Lookup
Domain Name: VERIPHY.ORG
Registry Domain ID: D402200000005231274-LROR
Registrar WHOIS Server: whois.meshdigital.com
Registrar URL: http://www.domainmonster.com
Updated Date:
Creation Date: 2018-02-17T15:06:07Z
Registry Expiry Date: 2019-02-17T15:06:07Z
Registrar Registration Expiration Date:
Registrar: Mesh Digital Limited
Registrar IANA ID: 1390
Registrar Abuse Contact Email: abuse.contact@hosteuropegroup.com
Registrar Abuse Contact Phone: +44.1483304030
Reseller:
Domain Status: serverTransferProhibited https://icann.org/epp#serverTransferProhibited
Domain Status: addPeriod https://icann.org/epp#addPeriod
Registry Registrant ID: C143301298-LROR
Registrant Name: Andre Platzer
Registrant Organization:
Registrant Street: Elly-Heuss-Knapp-Ring 43
Registrant City: Hamburg
Registrant State/Province: unknown
Registrant Postal Code: 21035
Registrant Country: DE
Registrant Phone: +49.407357292
Registrant Phone Ext:
Registrant Fax:
Registrant Fax Ext:
Registrant Email: ap@symbolaris.com
Registry Admin ID: C143301298-LROR
Admin Name: Andre Platzer
Admin Organization:
Admin Street: Elly-Heuss-Knapp-Ring 43
Admin City: Hamburg
Admin State/Province: unknown
Admin Postal Code: 21035
Admin Country: DE
Admin Phone: +49.407357292
Admin Phone Ext:
Admin Fax:
Admin Fax Ext:
Admin Email: ap@symbolaris.com
Registry Tech ID: C196502344-LROR
Tech Name: Host Europe GmbH
Tech Organization: Host Europe GmbH
Tech Street: Hansestrasse 111
Tech City: Koeln
Tech State/Province: Unknown
Tech Postal Code: 51149
Tech Country: DE
Tech Phone: +49.220399341040
Tech Phone Ext:
Tech Fax: +49.220399341042
Tech Fax Ext:
Tech Email: info@hosteurope.de
Name Server: NS1.HANS.HOSTEUROPE.DE
Name Server: NS2.HANS.HOSTEUROPE.DE
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of WHOIS database: 2018-02-18T19:06:16Z
Registry Domain ID: D402200000005231274-LROR
Registrar WHOIS Server: whois.meshdigital.com
Registrar URL: http://www.domainmonster.com
Updated Date:
Creation Date: 2018-02-17T15:06:07Z
Registry Expiry Date: 2019-02-17T15:06:07Z
Registrar Registration Expiration Date:
Registrar: Mesh Digital Limited
Registrar IANA ID: 1390
Registrar Abuse Contact Email: abuse.contact@hosteuropegroup.com
Registrar Abuse Contact Phone: +44.1483304030
Reseller:
Domain Status: serverTransferProhibited https://icann.org/epp#serverTransferProhibited
Domain Status: addPeriod https://icann.org/epp#addPeriod
Registry Registrant ID: C143301298-LROR
Registrant Name: Andre Platzer
Registrant Organization:
Registrant Street: Elly-Heuss-Knapp-Ring 43
Registrant City: Hamburg
Registrant State/Province: unknown
Registrant Postal Code: 21035
Registrant Country: DE
Registrant Phone: +49.407357292
Registrant Phone Ext:
Registrant Fax:
Registrant Fax Ext:
Registrant Email: ap@symbolaris.com
Registry Admin ID: C143301298-LROR
Admin Name: Andre Platzer
Admin Organization:
Admin Street: Elly-Heuss-Knapp-Ring 43
Admin City: Hamburg
Admin State/Province: unknown
Admin Postal Code: 21035
Admin Country: DE
Admin Phone: +49.407357292
Admin Phone Ext:
Admin Fax:
Admin Fax Ext:
Admin Email: ap@symbolaris.com
Registry Tech ID: C196502344-LROR
Tech Name: Host Europe GmbH
Tech Organization: Host Europe GmbH
Tech Street: Hansestrasse 111
Tech City: Koeln
Tech State/Province: Unknown
Tech Postal Code: 51149
Tech Country: DE
Tech Phone: +49.220399341040
Tech Phone Ext:
Tech Fax: +49.220399341042
Tech Fax Ext:
Tech Email: info@hosteurope.de
Name Server: NS1.HANS.HOSTEUROPE.DE
Name Server: NS2.HANS.HOSTEUROPE.DE
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of WHOIS database: 2018-02-18T19:06:16Z
