models all executions of a program by describing control structures
an abstract representation of all possible sequences of events (paths) in the execution through a  component  or system.
The unions also staged a five-day strike in March that forced all but one of Yale's dining halls to close.