CS577b February 25th Lecture

Static Verification

Inspections

  • Sommerville, section 24.1
  • JPL material
  • Litton material

    • Mathematical Verification

  • Sommerville, section 24.2

    • Static Analysis

  • Sommerville, section 24.3

    • Cleanroom Software Development

  • Sommerville, section 24.4
  • Paper in course notes

    • Software Metrics

  • Litton class slides

    • Midterm Review

  • list of topics
  • first homework answers
  • additional example problems

    • Web Updates Ready