I've read parts of Holzmann's Spin book but haven't actually tried to apply any of it. Without some experience I can't really compare other tools to it. Also I

I've read parts of Holzmann's Spin book but haven't actually tried to apply any of it. Without some experience I can't really compare other tools to it. Also I've forgotten like half the language already :/ The primer still sits of my bookshelf, disapproving of my life choices.