David Trabish Shachar Itzhaky Enhancing Symbolic Execution with Machine-Checked Safety Proofs. 294-308 2026 CPP https://doi.org/10.1145/3779031.3779089 conf/cpp/2026 db/conf/cpp/cpp2026.html#TrabishI26