Methods for static testing
careful reading -- most successful (?)
code inspection -- looking for errors
walkthrough -- simulation game
correctness proof -- rigorous, but complex
slide
:
Static testing