Thank you. I myself am not as frequent a poster [on Gotoknow] as I used to be. Old age I guess ;-)

Thank you for the explanation of ‘cbmc’. It seems to equate to the use of ‘chain block model checker’ – each step of any long process is checked and verified –that the output is ‘quality assured’ (for the next step). This is a ‘good strategy’. Customers will remain customers if they can get –always– quality products they pay money for.

A bad example: people (in AUS) bought Thailand durians and found ‘young and green’ (unripe) durians. Now they buy Malaysia (Musang King) durians because every durian is a quality product –though not as good as ‘good Thailand durian’.