The ACM Computing Classification System (1998) B.2.2 Performance Analysis and Design Aids [**] Simulation [**] Verification [**] Worst-case analysis [**]