Loop Summarization Using Abstract Transformers

DOI10.1007/978-3-540-88387-6_10MaRDI QIDQ3540068zbMATH OpenOpenAlexFDO

Authors Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Publication date 20 November 2008

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-540-88387-6_10

Mathematics Subject Classification ID

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

Recommendations

• Loop summarization using state and transition invariants
• Leaping Loops in the Presence of Abstraction
• Loop Summarization and Termination Analysis
• A Lightweight Approach for Loop Summarization
• A modular static analysis approach to affine loop invariants detection

Cites work

• Abstract interpretation and application to logic programs
• Computer Aided Verification
• Fast Algorithms for Solving Path Problems
• Predicate abstraction of ANSI-C programs using SAT
• Systematic design of program transformation frameworks by abstract interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation

Cited in

(10)

• Loop summarization using state and transition invariants
• Abstract interpretation of microcontroller code: intervals meet congruences
• A modular static analysis approach to affine loop invariants detection
• Loop Summarization and Termination Analysis
• A Lightweight Approach for Loop Summarization
• SAT-Based Model Checking
• Leaping Loops in the Presence of Abstraction
• Loop summarization with rational vector addition systems
• Under-approximating loops in C programs for fast counterexample detection
• Algebraic program analysis

Describes a project that uses

Uses Software

• CBMC
• Calysto
• CSSV

This page was built for publication: Loop Summarization Using Abstract Transformers

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