corpus.blog
41,554 blogs · 5,197,919 posts Claim your blog
Record · corpus.blog/posts/01a08751-2a22-70f9-8f80-0dd05baeb1c6

Spin Model Checker on Windows

blog.nathanv.me · published 8 September 2020

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.nathanv.me Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
19
Words captured
966

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://spinroot.com/
spinroot.com
https://devblogs.microsoft.com/commandline/whats-new-in-the-windows-subsystem-for-linux-september-2020/
devblogs.microsoft.com
https://www.7-zip.org/
7-zip.org
https://git-scm.com/download/win
git-scm.com
https://www.voidtools.com/
voidtools.com
https://chocolatey.org/
chocolatey.org
https://github.com/nimble-code/Spin
github.com
https://github.com/nimble-code/Spin/tree/master/Bin
github.com
http://www.mingw.org/
mingw.org
https://osdn.net/projects/mingw/releases/
osdn.net
https://www.howtogeek.com/118594/how-to-edit-your-system-path-for-easy-command-line-access/
howtogeek.com
https://github.com/nimble-code/Spin/blob/master/optional_gui/ispin.tcl
github.com
https://www.tcl.tk/
tcl.tk
https://www.activestate.com/products/tcl/downloads/
activestate.com
https://www.magicsplat.com/tcl-installer/index.html
magicsplat.com
https://graphviz.org/
graphviz.org
https://graphviz.org/download/
graphviz.org
https://www2.graphviz.org/Packages/stable/windows/10/msbuild/Release/Win32/
www2.graphviz.org
https://github.com/motib/jspin
github.com
Elsewhere on blog.nathanv.me (8)