The ACM Computing Classification System (1991)

B.1.2 Control Structure Performance Analysis and Design Aids

• Automatic synthesis
• Formal models
• Simulation