posts/spin-windows/

[utterances-bot]

Spin Model Checker on Windows :: Nathan Vaughn — Adventures in programming and tech

Introduction # For a class, I was trying to install the Spin formal verification tool somehow on my Windows computer. I couldn’t find a good guide, so this is what I figured out.
While you can do this with WSL, Spin has prebuilt Windows binaries available, so I think this is easier than trying to get X11 working (as of Sept 2020).
Prerequisites # You’ll need the following software installed:

https://blog.nathanv.me/posts/spin-windows/

[Atefeh-Zareh]

Very helpful guide on Spin model checker. Thanks.

[NathanVaughn]

Thanks for the kind words. I was actually thinking about this the other day and wanted to add, that now GUI apps in WSL work very well in Windows 11 (https://learn.microsoft.com/en-us/windows/wsl/tutorials/gui-apps), it may be easiest to just Spin in Linux on Windows and use it that way.