Backward symbolic execution with loop folding

DOI10.1007/978-3-030-88806-0_3zbMath1497.68109MaRDI QIDQ2145317

Marek Chalupa, Jan Strejček

Publication date: 17 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88806-0_3

Mathematics Subject Classification ID

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• BLAST
• z3
• LLVM
• CPAchecker
• InvGen
• Snugglebug

Cites Work

• BLAST