48 citations · 64 across the 4 of their papers we have counts for
1 paper · 1 filter
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
We present an SMT-based symbolic model checking algorithm for safety verification of recursive programs. The algorithm is modular and analyzes procedures individually. Unlike other…