4.A.3 Navigating through the Danger Zones
Option 1: Analyze your code to make sure every semantically permitted interleaving of the threads yields the correct results.
- This can be prohibitively difficult due to the explosion of possible interleavings.
- Tools like KAI’s Assure can help.