A Lightweight Approach for Loop Summarization

DOI10.1007/978-3-642-24372-1_25MaRDI QIDQ3172925zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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

Describes a project that uses

Uses Software

• SatAbs
• SIMPLIFY
• SLAM
• ACSAR

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)