LoopSCC: una nueva técnica de resumen de bucles para lograr una interpretación semántica concreta en bucles complejos
El análisis 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 verificación de programas y el análisis…