Key-project.org
Key-project is ranked 13,605,415 in the United Kingdom. 'KeY Project: Integrated Deductive Software Design.'
13,605,415Rank in United Kingdom
28,158,777Worldwide Rank
| Monthly pages viewed | 227 | |
| Monthly visits | 227 | |
| Value per visitor | -- | |
| Estimated worth | £348.39 | |
| External links | 107 | |
| Number of pages | 135 |
Last Updated: 05/04/2018 . Estimated data, read disclaimer.
Visitors
| Traffic History 90 Day Average | ||
| Worldwide Rank | 23,662,838 |  4,352,022 |
|---|---|---|
| Daily Visitors | 4 | -33.33% |
| Daily Visitors Rank | 23,024,874 | 5,355,513 |
| Daily Pageviews | 0 | -33.33% |
| Daily Pageviews Rank | 23,923,241 | 3,481,111 |
| Pageviews Per User | 1.00 | 0% |
Content
www.Key-project.org
Topics: People, Publications, The Key Book, Download, Teaching, and Case Studies &tutorials.
Age: The domain is 14 years and 8 months old.
- Popular pages
- key-project.org KeY Project: Integrated Deductive Software Design
- key-project.org KeY Tutorial: Integrating Object-oriented Design and Deductive ..
- key-project.org KeY Project: The KeY Book
- key-project.org KeY Project: Integrated Deductive Software Design
The estimated 5 daily visitors, each view 1 page on average.
Links- Links out
- eclipse.org Eclipse - The Eclipse Foundation open source community website.
- oracle.com Oracle Technology Network for Java Developers
- goedel.cs.uiowa.edu SMT-LIB
- haskell.org The Glasgow Haskell Compiler
Its IP Number is 89.31.143.2. It has 3 DNS records, server1-ns3.udagdns.net, server1-ns2.udagdns.net, and server1-ns1.udagdns.net.
IP: 89.31.143.2
Web Server: Apache
Encoding: iso-8859-1
| PING www. (89.31.143.2) 56(84) bytes of data. | |
| 64 bytes from 89.31.143.2: icmp_req=1 ttl=50 | 125 ms |
| 64 bytes from 89.31.143.2: icmp_req=2 ttl=50 | 125 ms |
| 64 bytes from 89.31.143.2: icmp_req=3 ttl=50 | 125 ms |
| --- www. ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 2002ms | |
| rtt min/avg/max/mdev = 125.217/125.539/125.764/0.471 ms | |
| rtt min/avg/max/mdev = 125.217/125.539/125.764/0.471 ms |
Pinging the server, resulted in a 125 ms response.
| Server Setup | |
| Date: | -- |
|---|---|
| Server: | Apache |
| X-UD-Host: | webspace.udag.de |
| X-UD-Method: | urlhiding |
| X-UD-Target: | i12www.iti.uni-karlsruhe.de/~key |
| X-Handling: | relax |
| X-UD-Loopcounter: | 3 |
| X-UD-REMOTE_ADDR: | 184.172.224.46 |
| Content-Length: | 7155 |
| Vary: | Accept-Encoding |
| Connection: | close |
| Content-Type: | text/html |