Control Flow Analysis

Control Flow Analysis

Type of static analysis based on the representation of sequences of events (paths) in the process of realization of the component or system.