key-project.org valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
User-agent: * Disallow: /wp-admin/ Allow: /wp-admin/admin-ajax.php Sitemap:
Meta Tags
Title The KeY
Description The KeY to Software Toggle navigation The KeY Project Getting Started & Support News Applications Overview Program Verification (Symbolic) Debugging Test Case Generation Secu
Keywords N/A
Server Information
WebSite key-project faviconkey-project.org
Host IP 130.83.165.109
Location Germany
Related Websites
Site Rank
More to Explore
kingmufasa.io
kstonecc.org
laveritahair.com
lmvfonline.org
manaoagletranph.online
mayogun.com
mcra.net
metaflycourier.com
mikalahgordon.com
mitiaba.com
moartcompanyltd.com
molar.finance
motopartsarena.com
mycoeagbor.com
mymoto-xe.com
naijaturnup.com
ndidiazaah.com
newcoolmex.com
newfinancial.org
nifftypays.com
key-project.org Valuation
US$2,917,806
Last updated: 2023-05-12 02:02:50

key-project.org has Semrush global rank of 3,627,487. key-project.org has an estimated worth of US$ 2,917,806, based on its estimated Ads revenue. key-project.org receives approximately 336,670 unique visitors each day. Its web server is located in Germany, with IP address 130.83.165.109. According to SiteAdvisor, key-project.org is safe to visit.

Traffic & Worth Estimates
Purchase/Sale Value US$2,917,806
Daily Ads Revenue US$2,694
Monthly Ads Revenue US$80,801
Yearly Ads Revenue US$969,610
Daily Unique Visitors 22,445
Note: All traffic and earnings values are estimates.
DNS Records
Host Type TTL Data
key-project.org. A 600 IP: 130.83.165.109
key-project.org. NS 21600 NS Record: ns.udag.net.
key-project.org. NS 21600 NS Record: ns.udag.de.
key-project.org. NS 21600 NS Record: ns.udag.org.
key-project.org. MX 3600 MX Record: 10 mx00.udag.de.
key-project.org. MX 3600 MX Record: 20 mx01.udag.de.
HtmlToTextCheckTime:2023-05-12 02:02:50
Toggle navigation The KeY Project Getting Started & Support News Applications Overview Program Verification (Symbolic) Debugging Test Case Generation Security KeY for Your Own Research Projects KeY for Teaching The KeY Book Publications Download About Project People Contact RSS Feed Documentation Internal Login Gitlab The K eY to Software Correctness Decades of experience in proving program correctness for Java. Download now Available now: The K eY Book The definitive resource about the K eY system. Tell me more! Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 40 at java.util.TimSort.pushRun(TimSort.java:413) at java.util.TimSort.sort(TimSort.java:240) at java.util.Arrays.sort(Arrays.java:1438) at TestTimSort.main(TestTimSort.java:18) The TimSort Success Story Read about how K eY was used to find a well-concealed bug in the Java standard library. Read the blog post Teaching material available! There is a variety of courses around KeY. Have a look Previous Next
HTTP Headers
HTTP/1.1 301 Moved Permanently
Date: Wed, 24 Nov 2021 08:52:55 GMT
Server: Apache/2.4.38 (Debian)
X-Redirect-By: WordPress
Location: https://www.key-project.org/
Content-Type: text/html; charset=UTF-8

HTTP/1.1 200 OK
Date: Wed, 24 Nov 2021 08:52:56 GMT
Server: Apache/2.4.38 (Debian)
Link: ; rel="https://api.w.org/"
Link: ; rel="alternate"; type="application/json"
Link: ; rel=shortlink
Content-Type: text/html; charset=UTF-8
key-project.org Whois Information
Domain Name: KEY-PROJECT.ORG
Registry Domain ID: D98384568-LROR
Registrar WHOIS Server: whois.udag.net
Registrar URL: https://www.united-domains.de/whois-suche
Updated Date: 2021-10-22T13:34:34Z
Creation Date: 2003-07-14T14:07:06Z
Registry Expiry Date: 2022-07-14T14:07:06Z
Registrar: united-domains AG
Registrar IANA ID: 1408
Registrar Abuse Contact Email: abuse@united-domains.de
Registrar Abuse Contact Phone: +49.8151368670
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registrant Organization: Ilkd Universitaet Karlsr
Registrant Country: DE
Name Server: NS.UDAG.ORG
Name Server: NS.UDAG.NET
Name Server: NS.UDAG.DE
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2021-11-24T08:47:43Z <<<