Qualitative modelling using signed directed graphs is briefly described. The need for verification is discussed and the verification techniques for signed directed graph models of process plants are detailed.