A Lightweight Approach for Loop Summarization

DOI10.1007/978-3-642-24372-1_25zbMATH Open1348.68150OpenAlexW1493580732MaRDI QIDQ3172925FDOQ3172925

Authors: Mohamed Nassim Seghir 

Publication date: 7 October 2011

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24372-1_25

Recommendations

• Loop summarization using state and transition invariants
• Loop Summarization Using Abstract Transformers
• Loop Summarization and Termination Analysis
• Loop Analysis by Quantification over Iterations
• scientific article; zbMATH DE number 2090858
• A versatile concept for the analysis of loops
• scientific article; zbMATH DE number 1098500

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• Loop summarization using state and transition invariants
• Loop Summarization Using Abstract Transformers
• Loop summarization with rational vector addition systems
• Guiding Craig interpolation with domain-specific abstractions
• Loop Summarization and Termination Analysis

Uses Software

• ACSAR
• SLAM
• SIMPLIFY
• SatAbs

This page was built for publication: A Lightweight Approach for Loop Summarization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172925)