LoopSCC: una nueva técnica de recopilación de bucles para obtener una interpretación semántica concreta en bucles complejos
El prospección de bucles con flujos de control difíciles es un problema desafiante que se ha mantenido durante más de dos décadas en la demostración de programas y el prospección de software. Surgen desafíos asociados con el número no determinista de iteraciones y el crecimiento potencialmente exponencial de las rutas de flujo de control, especialmente […]