Web Analysis for Softwareabstractions - softwareabstractions.org
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
2.33
Rating by CuteStat
softwareabstractions.org is 1 decade 8 years old. It is a domain having org extension. This website is estimated worth of $ 8.95 and have a daily income of around $ 0.15. As no active threats were reported recently by users, softwareabstractions.org is SAFE to browse.
PageSpeed Score
88
Siteadvisor Rating
Not Applicable
Traffic Report
Daily Unique Visitors: | Not Applicable |
Daily Pageviews: | Not Applicable |
Estimated Valuation
Income Per Day: | $ 0.15 |
Estimated Worth: | $ 8.95 |
Search Engine Indexes
Google Indexed Pages: | Not Applicable |
Bing Indexed Pages: | Not Applicable |
Search Engine Backlinks
Google Backlinks: | Not Applicable |
Bing Backlinks: | Not Applicable |
Safety Information
Google Safe Browsing: | No Risk Issues |
Siteadvisor Rating: | Not Applicable |
WOT Trustworthiness: | Not Applicable |
WOT Child Safety: | Not Applicable |
Website Ranks & Scores
Alexa Rank: | Not Applicable |
Domain Authority: | Not Applicable |
Web Server Information
Page Resources Breakdown
Homepage Links Analysis
Website Inpage Analysis
H1 Headings: | Not Applicable | H2 Headings: | Not Applicable |
H3 Headings: | Not Applicable | H4 Headings: | Not Applicable |
H5 Headings: | Not Applicable | H6 Headings: | Not Applicable |
Total IFRAMEs: | Not Applicable | Total Images: | 3 |
Google Adsense: | Not Applicable | Google Analytics: | Not Applicable |
Websites Hosted on Same IP (i.e. 173.236.152.199)
Poor Boyz Productions - Official Store – Poor Boyz Store
- poorboyz.com
The Poor Boyz Productions (PBP) Online Store is the only place to get your favorite ski/surf/windsurf/action sports movies and merch!
Not Applicable
$
8.95
HTTP Header Analysis
HTTP/1.1 200 OK
Date: Mon, 29 Dec 2014 00:29:23 GMT
Server: Apache
Last-Modified: Sat, 15 Feb 2014 23:29:34 GMT
ETag: "1af9-4f27a4b885380"
Accept-Ranges: bytes
Vary: Accept-Encoding
Content-Encoding: gzip
Content-Length: 3116
Content-Type: text/html
Date: Mon, 29 Dec 2014 00:29:23 GMT
Server: Apache
Last-Modified: Sat, 15 Feb 2014 23:29:34 GMT
ETag: "1af9-4f27a4b885380"
Accept-Ranges: bytes
Vary: Accept-Encoding
Content-Encoding: gzip
Content-Length: 3116
Content-Type: text/html
Domain Information
Domain Registrar: | DropCatch.com 1498 LLC |
---|---|
Registration Date: | Nov 21, 2005, 12:00 AM 1 decade 8 years 5 months ago |
Domain Status: |
ok
autoRenewPeriod
|
Owner's E-Mail: | dnj@mit.edu |
Domain Nameserver Information
Host | IP Address | Country | |
---|---|---|---|
ns1.dreamhost.com | 162.159.26.14 | United States of America | |
ns2.dreamhost.com | 162.159.26.81 | United States of America | |
ns3.dreamhost.com | 162.159.27.84 | United States of America |
DNS Record Analysis
Host | Type | TTL | Extra |
---|---|---|---|
softwareabstractions.org | A | 14399 |
IP: 173.236.152.199 |
softwareabstractions.org | NS | 14399 |
Target: ns1.dreamhost.com |
softwareabstractions.org | NS | 14399 |
Target: ns3.dreamhost.com |
softwareabstractions.org | NS | 14399 |
Target: ns2.dreamhost.com |
softwareabstractions.org | SOA | 14399 |
MNAME: ns1.dreamhost.com RNAME: hostmaster.dreamhost.com Serial: 2014040200 Refresh: 15456 Retry: 1800 Expire: 1814400 Minimum TTL: 14400 |
Full WHOIS Lookup
Domain Name:SOFTWAREABSTRACTIONS.ORG
Domain ID: D108758467-LROR
Creation Date: 2005-11-21T21:54:44Z
Updated Date: 2014-11-22T01:22:17Z
Registry Expiry Date: 2015-11-21T21:54:44Z
Sponsoring Registrar:New Dream Network, LLC dba DreamHost Web Hosting (R173-LROR)
Sponsoring Registrar IANA ID: 431
WHOIS Server:
Referral URL:
Domain Status: ok
Domain Status: autoRenewPeriod
Registrant ID:ndn-131288
Registrant Name:Daniel Jackson
Registrant Organization:Daniel Jackson
Registrant Street: CSAIL, Room 32-G704
Registrant Street: 32 Vassar Street
Registrant City:Cambridge
Registrant State/Province:MA
Registrant Postal Code:02139
Registrant Country:US
Registrant Phone:+1.6172588471
Registrant Phone Ext:
Registrant Fax:
Registrant Fax Ext:
Registrant Email:dnj@mit.edu
Admin ID:ndn-131288
Admin Name:Daniel Jackson
Admin Organization:Daniel Jackson
Admin Street: CSAIL, Room 32-G704
Admin Street: 32 Vassar Street
Admin City:Cambridge
Admin State/Province:MA
Admin Postal Code:02139
Admin Country:US
Admin Phone:+1.6172588471
Admin Phone Ext:
Admin Fax:
Admin Fax Ext:
Admin Email:dnj@mit.edu
Tech ID:ndn-131288
Tech Name:Daniel Jackson
Tech Organization:Daniel Jackson
Tech Street: CSAIL, Room 32-G704
Tech Street: 32 Vassar Street
Tech City:Cambridge
Tech State/Province:MA
Tech Postal Code:02139
Tech Country:US
Tech Phone:+1.6172588471
Tech Phone Ext:
Tech Fax:
Tech Fax Ext:
Tech Email:dnj@mit.edu
Name Server:NS1.DREAMHOST.COM
Name Server:NS2.DREAMHOST.COM
Name Server:NS3.DREAMHOST.COM
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
DNSSEC:Unsigned
Access to Public Interest Registry WHOIS information is provided to assist persons in determining the contents of a domain name registration record in the Public Interest Registry registry database. The data in this record is provided by Public Interest Registry for informational purposes only, and Public Interest Registry does not guarantee its accuracy. This service is intended only for query-based access. You agree that you will use this data only for lawful purposes and that, under no circumstances will you use this data to(a) allow, enable, or otherwise support the transmission by e-mail, telephone, or facsimile of mass unsolicited, commercial advertising or solicitations to entities other than the data recipient's own existing customers; or (b) enable high volume, automated, electronic processes that send queries or data to the systems of Registry Operator, a Registrar, or Afilias except as reasonably necessary to register domain names or modify existing registrations. All rights reserved. Public Interest Registry reserves the right to modify these terms at any time. By submitting this query, you agree to abide by this policy.
Domain ID: D108758467-LROR
Creation Date: 2005-11-21T21:54:44Z
Updated Date: 2014-11-22T01:22:17Z
Registry Expiry Date: 2015-11-21T21:54:44Z
Sponsoring Registrar:New Dream Network, LLC dba DreamHost Web Hosting (R173-LROR)
Sponsoring Registrar IANA ID: 431
WHOIS Server:
Referral URL:
Domain Status: ok
Domain Status: autoRenewPeriod
Registrant ID:ndn-131288
Registrant Name:Daniel Jackson
Registrant Organization:Daniel Jackson
Registrant Street: CSAIL, Room 32-G704
Registrant Street: 32 Vassar Street
Registrant City:Cambridge
Registrant State/Province:MA
Registrant Postal Code:02139
Registrant Country:US
Registrant Phone:+1.6172588471
Registrant Phone Ext:
Registrant Fax:
Registrant Fax Ext:
Registrant Email:dnj@mit.edu
Admin ID:ndn-131288
Admin Name:Daniel Jackson
Admin Organization:Daniel Jackson
Admin Street: CSAIL, Room 32-G704
Admin Street: 32 Vassar Street
Admin City:Cambridge
Admin State/Province:MA
Admin Postal Code:02139
Admin Country:US
Admin Phone:+1.6172588471
Admin Phone Ext:
Admin Fax:
Admin Fax Ext:
Admin Email:dnj@mit.edu
Tech ID:ndn-131288
Tech Name:Daniel Jackson
Tech Organization:Daniel Jackson
Tech Street: CSAIL, Room 32-G704
Tech Street: 32 Vassar Street
Tech City:Cambridge
Tech State/Province:MA
Tech Postal Code:02139
Tech Country:US
Tech Phone:+1.6172588471
Tech Phone Ext:
Tech Fax:
Tech Fax Ext:
Tech Email:dnj@mit.edu
Name Server:NS1.DREAMHOST.COM
Name Server:NS2.DREAMHOST.COM
Name Server:NS3.DREAMHOST.COM
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
DNSSEC:Unsigned
Access to Public Interest Registry WHOIS information is provided to assist persons in determining the contents of a domain name registration record in the Public Interest Registry registry database. The data in this record is provided by Public Interest Registry for informational purposes only, and Public Interest Registry does not guarantee its accuracy. This service is intended only for query-based access. You agree that you will use this data only for lawful purposes and that, under no circumstances will you use this data to(a) allow, enable, or otherwise support the transmission by e-mail, telephone, or facsimile of mass unsolicited, commercial advertising or solicitations to entities other than the data recipient's own existing customers; or (b) enable high volume, automated, electronic processes that send queries or data to the systems of Registry Operator, a Registrar, or Afilias except as reasonably necessary to register domain names or modify existing registrations. All rights reserved. Public Interest Registry reserves the right to modify these terms at any time. By submitting this query, you agree to abide by this policy.