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

Hosted IP Address:

173.236.152.199

Hosted Country:

United States of America US

Location Latitude:

37.751

Location Longitude:

-97.822
Software Abstractions - Resources

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


David Nimorwicz Photography

- oldeagleeye.com
Not Applicable $ 8.95

Organic Planet Worker Co-op

- organicplanet.coop
Not Applicable $ 8.95

- Index page

- streetracingcartel.com
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

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 United States of America
ns2.dreamhost.com 162.159.26.81 United States of America United States of America
ns3.dreamhost.com 162.159.27.84 United States of America 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.