bounded verification