Global Rank
Daily Visitors
Last scanned
Domain Age
Updated:
Spin - Formal Verification
Spin is a general tool for the logical verification of concurrent software in a rigorous and mostly automated fashion.
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.
Global Rank
Daily Visitors
Last scanned
Domain Age
CloudFlare, Inc.
cody.ns.cloudflare.com
gina.ns.cloudflare.com
{{value}}
2002-09-23
2026-09-23
REDACTED FOR PRIVACY
ENOM, LLC
noreply@data-protected.net
{{value}}
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 Spain.
Mar 24, 2019
Mar 17, 2020
Mar 15, 2021
Jan 19, 2022
N/A
N/A
N/A
N/A
N/A
N/A
42.7K
1K
133.1K
N/A