Formal Design Methods for CAD