Unbounded Procedure Summaries from Bounded Environments
Abstract elided by the publisher.
Related papers
- Accelerated Bounded Model Checking Using Interpolation Based Summaries TACAS 2024
- Specification-Driven Generation of Summaries for Symbolic Execution ESOP 2026
- CUBA: interprocedural Context-UnBounded Analysis of concurrent programs PLDI 2018
- Computing Procedure Summaries for Interprocedural Analysis ESOP 2007
- Underapproximation of Procedure Summaries for Integer Programs TACAS 2013
- Generating precise and concise procedure summaries POPL 2008
- Synthesis modulo recursive functions OOPSLA 2013
- On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony CAV 2018