Quality checking procedures

This Division is responsible for quality management of the various activities of CEGIS.