Abstract

Program verification

  • Prove program correctness for all possible inputs and behaviors