verification of design models