Spinroot.com
Visit spinroot.com-
264.8K
Global Rank
-
320
Daily Visitors
-
5 days ago
Last scanned
-
21 years
Domain Age
Spinroot.com
Visit spinroot.com
About Website
Updated:
Spin - Formal Verification
Spin is a general tool for the logical verification of concurrent software in a rigorous and mostly automated fashion.
Network Data
This website is hosted with CloudFlare, Inc., which reserves the following IP addresses for spinroot.com: 104.21.9.45, 172.67.141.185. Moreover, DNS used with this website include cody.ns.cloudflare.com, gina.ns.cloudflare.com. Subnet identifier ranges from 104.16.0.0 to 104.31.255.255. Classless Inter-Domain Routing (CIDR) is 104.16.0.0/12. ARIN net type is Direct Allocation.
-
264.8K
Global Rank
-
320
Daily Visitors
-
5 days ago
Last scanned
-
21 years
Domain Age
Network
ADDRESSING DETAILS
-
Hosting Company
CloudFlare, Inc.
-
IPs
-
DNS
cody.ns.cloudflare.com
gina.ns.cloudflare.com
Whois
OWNERSHIP
-
Created
2002-09-23
-
Expires
2026-09-23
-
Owner
REDACTED FOR PRIVACY
-
Registar
ENOM, LLC
-
Owner Emails
noreply@data-protected.net
Domain & Keywords
The registrar of spinroot.com is ENOM, LLC and the name expires on 2026-09-23. According to open source data, you can reach the owner at noreply@data-protected.net but please make sure you have a good reason for unsolicited messages. Their country of residence is Portugal, Portuguese Republic.
- spin
- proof
- LTL
- concurrency
- reliable software
- formal methods
- Correctness
- software verification
- software safety
- linear temporal logic
Spinroot.com Homepage Change Through The Years
-
5 years ago
Mar 24, 2019
-
4 years ago
Mar 17, 2020
-
3 years ago
Mar 15, 2021
-
2 years ago
Jan 19, 2022
Websites similar to spinroot.com
-
jcomsec.org
-
Global rank
N/A
-
Daily Visitors
N/A
-
-
isograph-software.com
-
Global rank
N/A
-
Daily Visitors
N/A
-
-
complexis.org
-
Global rank
N/A
-
Daily Visitors
N/A
-
-
ercim.eu
-
Global rank
35.4K
-
Daily Visitors
1K
-
-
ercim.org
-
Global rank
166.6K
-
Daily Visitors
N/A
-