The ACM Computing Classification System (1991)

B.4.4 Performance Analysis and Design Aids

• Formal models
• Simulation
• Verification
• Worst-case analysis