Model Checking Several options for model verification Highlight free edge Duplicate elements Plate warpage Aspect ratio Maximum and minimum interior angles of plate