Kenmcmil.com
Kenmcmil is ranked 2,397,246 in the United Kingdom. 'Ken McMillan's Home Page.'
2,397,246Rank in United Kingdom
--Worldwide Rank
| Monthly pages viewed | < 300 | |
| Monthly visits | < 300 | |
| Value per visitor | -- | |
| Estimated worth | £315.73 | |
| External links | 69 | |
| Number of pages | 150 |
Last Updated: 05/04/2018 . Estimated data, read disclaimer.
Content
www.Kenmcmil.com
Topics: Publications, Cadence Smv, Foci, Benchmarks Used In Publications, and Technical Reports Available On-line.
Age: The domain is 11 years and 10 months old.
- Popular pages
- kenmcmil.com Quantified Invariant Generation using an Interpolating ..
- kenmcmil.com Relevance Heuristics for Program Analysis
- kenmcmil.com Applications of Craig Interpolantsin Model Checking
- kenmcmil.com SMV Model Checker Free Download
- Links out
- cs.cmu.edu The SMV System
- w2.cadence.com Cadence Berkeley Labs RESEARCH SOFTWARE registration form
| Server Location | |
| Global Net Access Llc Georgia Atlanta United States 33.9348, -84.2703 | |
ns1.vermontwebhost.net, and ns2.vermontwebhost.net are its DNS Nameservers. It is hosted by Global Net Access Llc (Georgia, Atlanta,) using WYLTK web server. Its IP Number is 63.247.66.226.
IP: 63.247.66.226
Web Server: WYLTK
Encoding: iso-8859-1
| PING (63.247.66.226) 56(84) bytes of data. | |
| 64 bytes from rutland.vermontwebhost.net (63.247.66.226): icmp_req=1 ttl=53 | 47.0 ms |
| 64 bytes from rutland.vermontwebhost.net (63.247.66.226): icmp_req=2 ttl=53 | 47.0 ms |
| 64 bytes from rutland.vermontwebhost.net (63.247.66.226): icmp_req=3 ttl=53 | 47.0 ms |
| --- ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 2002ms | |
| rtt min/avg/max/mdev = 47.005/47.049/47.082/0.180 ms | |
| rtt min/avg/max/mdev = 47.005/47.049/47.082/0.180 ms |
A ping to the server is timed at 47.0 ms.
| Server Setup | |
| Date: | -- |
|---|---|
| Server: | WYLTK |
| Last-Modified: | -- |
| Accept-Ranges: | bytes |
| Content-Length: | 2422 |
| Connection: | close |
| Content-Type: | text/html |