Spin - Formal VerificationOpen Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of Debian Linux, and has made it into the 16.10+ distributions of Ubuntu. The current Spin version is 6.5.1 (July 2020). Symposia: The 30th International Spin Symposium was held April 10-11 2024 in Luxembo
https://www.kb.ecei.tohoku.ac.jp/~koba/class/soft-kiso/ccs.pdf
