Figure 1: Internal architecture of the Bandera Tool Set
Figure 1 presents the internal architecture of Bandera.