Recap

• Invariants are “good” but infrequently written down by programmers

• Instead, use execution information to infer (likely) program invariants

• But will this approach

  • Scale?
  • Actually help with any software engineering tasks?

Previous slide

Next slide

Back to first slide

View graphic version