Site:
www.spinroot.com/spin/whatispin.html

Spin - Formal Verification

Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
[History]   [Report This]
Bookmarks
No reviews yet.   Be the first.
Ranked:
#1 in Formal Verification, #1 in Model Checking, #6 in Formal Methods, #9 in Spinning, #11 in Verification, #264 in Software Testing, #1,508 in Operating Systems, #1,602 in Debugging, #7,665 in Projects, #10,473 in Test
Review this site:
 
 
     
  Similar Sites  
  Reviews (0)