The four buttons at the right side of the upper tool-bar (labeled JJJC, Slicer, SLABS, Checker) are used to enable/disable the four main components of Bandera. When a component is enabled, the corresponding button icon is presented in color with a check-mark. A non-checked black-and-white icon indicates that a component has been disabled. Clicking on the Run button causes the enabled components to be executed in the order in which they are presented in the tool-bar.