Abstract

Reasoning about programs

  • Central to any programming task
  • From safety critical applications to scripting
  • From initial development to maintenance to debugging
  • Minimizes faults, security problems, time/cost to market
  • Thinking skill
‚Äč