• Spin: Formal verification of multi-threaded code https://spinroot.com/spin/whatispin.html 2 comments 14/4/2025