Verifica automatica delle regole di pianificazione