-
Google PR 5Trustworthiness Good
-
Avg. Daily Visitors 302Child Safety Unknown
-
Avg. Daily Pageviews 1 514Privacy Good
Spin - Formal Verification
Domain info
Location: | United States |
Registrant: | REDACTED FOR PRIVACY |
Hosted by: | CloudFlare, Inc. |
Registrar: | eNom, LLC |
Subnetworks: | 104.21.9.45, 172.67.141.185 |
Alexa's Traffic Estimates & Trends
Traffic Rank: | 251 020 |
Social Media Activities
- Facebook likes: -
- Twitter mentions: 13
- Google pluses: 7
- LinkedIn mentions: -
- Pinterest pins: -
- StumbleUpon views: 1
Web Safety
- This website is malware-free.
- Status ok
Sites associated with the same registrant
Whois
Spinroot.com popular pages to visit
Spin - Formal Verification
Spin is a general tool for the logical verification of concurrent software in a rigorous and mostly automated fashion.
gerard j. holzmann
focus
software safety,
software analysis,
formal verification,
metrics,
logic model checking,
distributed systems,
multi-threaded software,
static analysis,
swarm testing,
code review methods,
requir...
Spin - Formal Verification
Open Source: Starting with Version 6.4.5 from January 2016,
the Spin sources are available under the standard BSD 3-Clause open source license.
Workshop: The
24th Spin 2017 Symposium
will be co-loca...