SPIN model checker (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "SPIN model checker" in English language version.

refsWebsite

Global rank English rank

low place

low place

spinroot.com

Software System Award: ACM CITES TOOL TO DETECT SOFTWARE "BUGS" FOR PRESTIGIOUS AWARD. Bell Labs Researcher Developed "SPIN" to Make Computers More Reliable // ACM Press-Release