Verificación automática de programas manipuladores de montón