Abstract

  • Functional correctness
  • Limited checking