Next:
12.4 Probability and Heisenbugs
Up:
12. Validation: Debugging and
Previous:
12.2 Assertions
Contents
12
.
3
Static Analysis
Paul E. McKenney 2011-12-16