posts/spin-windows/ #204
utterances-bot
started this conversation in
Post Comments
Replies: 2 comments
-
Very helpful guide on Spin model checker. Thanks. |
Beta Was this translation helpful? Give feedback.
0 replies
-
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. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
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/
Beta Was this translation helpful? Give feedback.
All reactions