The ACM Computing Classification System (1991)

B.2.2 Performance Analysis and Design Aids

  • Simulation
  • Verification
  • Worst-case analysis