Loop Summarization Using Abstract Transformers
From MaRDI portal
Publication:3540068
DOI10.1007/978-3-540-88387-6_10zbMath1183.68377OpenAlexW1600009974MaRDI QIDQ3540068
Christoph M. Wintersteiger, Stefano Tonetta, Natasha Sharygina, Daniel Kroening, Aliaksei Tsitovich
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
Related Items
Algebraic program analysis, SAT-Based Model Checking, Abstract interpretation of microcontroller code: intervals meet congruences, Loop Summarization and Termination Analysis, Under-approximating loops in C programs for fast counterexample detection
Uses Software
Cites Work
- Predicate abstraction of ANSI-C programs using SAT
- Fast Algorithms for Solving Path Problems
- Abstract interpretation and application to logic programs
- Systematic design of program transformation frameworks by abstract interpretation
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification, Model Checking, and Abstract Interpretation