A - Behavioral model is checked. B - Good performance is measured by an elapsed time. C - IBM transaction processing benchmark to aid the design of the mainframe system. D - To predict behavior of live system.