Loop Analysis by Quantification over Iterations
From MaRDI portal
Publication:5222968
Recommendations
Cited in
(9)- Algebra-Based Loop Analysis
- Loop Summarization and Termination Analysis
- Analysis of Knoop indentation
- A New Algorithm for Identifying Loops in Decompilation
- On invariant synthesis for parametric systems
- QuIt
- Automated Technology for Verification and Analysis
- A Lightweight Approach for Loop Summarization
- A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows
This page was built for publication: Loop Analysis by Quantification over Iterations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222968)