spin promela
- 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:
- Model checking by Юрий Карпов, PDF
Learning
- Glossary
- Books:
- Courses
- Learning Tools
- Bugs And Learned Lessons
- Cheatsheets
Tools / Services / Tests
- Quality Assurance Tools
- Test Runners
- Testing-As-A-Service
- Conformance Test Suites
- Test Infrastructure
- Fault injection
- TTCN-3
- Continuous Integration
- Speedup your CI
- Performance
- Formal Specification
- Toy Projects
- Test Impact Analysis
- Formats
Functional testing
- Automated testing
- By type:
WIP sections
Community
Links