Methods for static testing

  • careful reading -- most successful (?)
  • code inspection -- looking for errors
  • walkthrough -- simulation game
  • correctness proof -- rigorous, but complex

slide: Static testing