Web Analysis for Functologic - functologic.com
André Platzer, Associate Professor @ Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, mathematics, hybrid systems, and verification.
functologic.com is 2 decades 2 years old. It is a domain having com 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, functologic.com is SAFE to browse.
PageSpeed Score
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: |
Good
|
| WOT Child Safety: | Not Applicable |
Website Ranks & Scores
| Alexa Rank: | Not Applicable |
| Domain Authority: | Not Applicable |
Web Server Information
Hosted IP Address:
80.237.132.24
Hosted Country:
DE
Location Latitude:
50.9298Location Longitude:
6.9489Page Resources Breakdown
Homepage Links Analysis
Website Inpage Analysis
| H1 Headings: | 1 | H2 Headings: | 1 |
| H3 Headings: | 2 | H4 Headings: | Not Applicable |
| H5 Headings: | Not Applicable | H6 Headings: | Not Applicable |
| Total IFRAMEs: | Not Applicable | Total Images: | 24 |
| Google Adsense: | Not Applicable | Google Analytics: | Not Applicable |
Websites Hosted on Same IP (i.e. 80.237.132.24)
Willkommen - Permanon Shop Deutschland | Oberflächenschutz und Oberflä
Not Applicable
$
8.95
Analysis Tools and Applications
Analysis Tools and applications developed in the group of André Platzer. Especially verification tools
Not Applicable
$
8.95
KeYmaera X: A Hybrid Systems Theorem Prover
KeYmaera X is a next-generation theorem prover for hybrid systems with a minimal prover core and a flexible tactics language for automatic proof search.
Not Applicable
$
8.95
HTTP Header Analysis
Date: Sat, 13 Dec 2014 18:39:46 GMT
Content-Type: text/html
Transfer-Encoding: chunked
Connection: keep-alive
Server: Apache
Last-Modified: Mon, 01 Dec 2014 14:52:52 GMT
ETag: "ff8a9d-843b-50928c3d5f98d"
Content-Encoding: gzip
Domain Information
| Domain Registrar: |
NETWORK SOLUTIONS, LLC.
|
|---|---|
| Registration Date: | Oct 10, 2001, 12:00 AM 2 decades 2 years 6 months ago |
| Last Modified: | Oct 10, 2014, 12:00 AM 9 years 6 months 2 weeks ago |
| Expiration Date: | Oct 10, 2016, 12:00 AM 7 years 6 months 2 weeks ago |
| Domain Status: |
clientTransferProhibited
|
DNS Record Analysis
| Host | Type | TTL | Extra |
|---|---|---|---|
| functologic.com | A | 21599 |
IP: 80.237.132.24 |
| functologic.com | NS | 21599 |
Target: a1.wpns.hosteurope.de |
| functologic.com | NS | 21599 |
Target: a1.wsns.hosteurope.de |
| functologic.com | SOA | 2559 |
MNAME: a1.wpns.hosteurope.de RNAME: hostmaster.functologic.com Serial: 2012060517 Refresh: 16384 Retry: 2048 Expire: 1048576 Minimum TTL: 2560 |
| functologic.com | MX | 21599 |
Priority: 50 Target: mx0.functologic.com |
| functologic.com | TXT | 21599 |
TXT: google-site-verification=FUvcD6rDKKHzjP_ FjpgedlGyIr57SSEqgX11LGxEsTQ |
| functologic.com | AAAA | 21594 |
IPV6: 2a01:488:42:1000:50ed:8418:47:b230 |
