The ACM Computing Classification System (1998)

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

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