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