Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | PRISM - Probabilistic Symbolic Model Checker |
Description | N/A |
Keywords | prism, probabilistic, symbolic, model, checker, verification, birmingham, oxford, parker, norman, kwiatkowska |
WebSite | |
Host IP | 163.1.88.73 |
Location | Oxford, Oxfordshire, United Kingdom |
Site | Rank |
prismlibrary.github.io | #453,210 |
newboundary.com | #5,287,028 |
adit.io | #1,009,342 |
prism.com | #2,510,483 |
US$26,793
Last updated: Dec 29, 2019
Prismmodelchecker.org has global traffic rank of 642,293. Its global rank has gone up by 387,425 positions since 3 months ago. Prismmodelchecker.org has an estimated worth of US$ 26,793, based on its estimated Ads revenue. Prismmodelchecker.org receives approximately 4,893 unique visitors each day. Its web server is located in Oxford, Oxfordshire, United Kingdom, with IP address 163.1.88.73. According to SiteAdvisor, prismmodelchecker.org is safe to visit. |
Purchase/Sale Value | US$26,793 |
Daily Ads Revenue | US$14 |
Monthly Ads Revenue | US$440 |
Yearly Ads Revenue | US$5,358 |
Daily Unique Visitors | 4,893 |
Note: All traffic and earnings values are estimates. |
Global Rank | 642,293 |
Delta (90 Days) | ⬆️ 387,425 |
Most Popular In Country | N/A |
Country Rank | N/A |
Host | Type | TTL | Data |
prismmodelchecker.org | A | 3599 | IP: 163.1.88.73 |
prismmodelchecker.org | NS | 21599 | Target: dns2.ox.ac.uk. |
prismmodelchecker.org | NS | 21599 | Target: dns0.ox.ac.uk. |
prismmodelchecker.org | SOA | 299 | MNAME: raptor.dns.ox.ac.uk. RNAME: hostmaster.ox.ac.uk. Serial: 2019051744 Refresh: 3600 Retry: 600 Expire: 1209600 Minimum TTL: 900 |
HTTP/1.1 200 OK Date: Sun, 29 Dec 2019 10:21:02 GMT Server: Apache/2.2.15 (CentOS) X-Powered-By: PHP/5.3.3 Connection: close Transfer-Encoding: chunked Content-Type: text/html; charset=UTF-8 |
Domain Name: PRISMMODELCHECKER.ORG Registry Domain ID: D148165989-LROR Registrar WHOIS Server: whois.tucows.com Registrar URL: http://www.tucows.com Updated Date: 2018-04-05T12:14:10Z Creation Date: 2007-06-19T13:47:25Z Registry Expiry Date: 2027-06-19T13:47:25Z Registrar Registration Expiration Date: Registrar: Tucows Inc. Registrar IANA ID: 69 Registrar Abuse Contact Email: domainabuse@tucows.com Registrar Abuse Contact Phone: +1.4165350123 Reseller: Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Registrant Organization: University of Oxford Registrant State/Province: Registrant Country: GB Name Server: DNS0.OX.AC.UK Name Server: DNS2.OX.AC.UK DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) |