The ACM Computing Classification System (1998)

B.3.3 Performance Analysis and Design Aids [**]

• Formal models [**]
• Simulation [**]
• Worst-case analysis [**]