Kitlist Tools PeopleAdd your kit

Kitlist. The tools people use, and why they use them.

Privacy Terms Share yours

Who uses Spin and why · Kitlist

Spin

Used by 1 personspinroot.com ↗

“I'm probably best known for developing the Spin tool for verifying multi-threaded code.”
Gerard Holzmann Interview, Software researcher (JPL), developer (Spin) · via Uses This

People who use Spin also use

Adobe Photoshop1
awk1
bash1
Bridge1
C1
EOS 5D Mark II1
grep1
make1