2,048,880Rank in United Kingdom
--Worldwide Rank
| Monthly pages viewed | < 300 | |
| Monthly visits | < 300 | |
| Value per visitor | -- | |
| Estimated worth | £295.68 | |
| External links | 92 | |
| Number of pages | 180 |
Last Updated: 05/04/2018 . Estimated data, read disclaimer.
Content
www.Kroening.com
Topics: Daniel Kroening, Boolean Programs, Smt Lists/sets/maps, Cbmc, Satabs, and Vcegar.
Age: It went live on February 14th 1999, making it over 19 years, 1 months old.
- Popular pages
- kroening.com Computing Binary Combinatorial Gray Codes Via Exhaustive Search ..
- kroening.com A Proposal fora Theory of Finite Sets, Lists, and Maps for the SMT ..
- kroening.com Model Checking Concurrent Linux Device Drivers
- kroening.com Automatic Analysis of Scratch-pad Memory Code for Heterogeneous ..
- kroening.com Coverage in Interpolation-based Model Checking
- Links out
- ox.ac.uk Homepage - University of Oxford
- magd.ox.ac.uk Home - Magdalen College
- cs.ox.ac.uk Department of Computer Science, University of Oxford : Home
- date-conference.com Home | DATE 2012
| Server Location | |
| Hetzner Online Ag Bayern Nuernberg Germany 49.45, 11.07 | |
Kroening.com's server IP number is 88.198.20.183. ns.handshake.de, and ns2.handshake.de are its DNS Nameservers. It is hosted by Hetzner Online Ag (Bayern, Nuernberg,) using Apache/2 web server.
IP: 88.198.20.183
Web Server: Apache/2
Encoding: iso-8859-1
| PING cloud1.handshake.de (88.198.20.183) 56(84) bytes of data. | |
| 64 bytes from cloud1.handshake.de (88.198.20.183): icmp_seq=1 ttl=51 | 119 ms |
| 64 bytes from cloud1.handshake.de (88.198.20.183): icmp_seq=2 ttl=51 | 119 ms |
| 64 bytes from cloud1.handshake.de (88.198.20.183): icmp_seq=2 ttl=51 | 119 ms |
A time of 119 ms, is recorded in a ping test.
| Server Setup | |
| Date: | -- |
|---|---|
| Server: | Apache/2.2.16 (Debian) |
| Vary: | Host |
| Last-Modified: | -- |
| ETag: | "16b4212-201d-4cf7a8e590100" |
| Accept-Ranges: | bytes |
| Content-Length: | 8221 |
| Content-Type: | text/html |