spin promela - ligurio/sqa-wiki GitHub Wiki

Resources

• spinroot.com - the main website about Spin/Promela. A large amount of useful information about Spin: exercises, manual, papers, forum, books etc.
• Series of articles about modelling RCU with SPIN/Promela by Paul McKenney with quizzes:
  • What is RCU, Fundamentally?
  • What is RCU? Part 2: Usage
• Model checking by Юрий Карпов, PDF