Verificación automática de las reglas de planificacion