The ACM Computing Classification System (1998)

B.1.2 Control Structure Performance Analysis and Design Aids

• Automatic synthesis [**]
• Formal models [**]
• Simulation [**]