Efficient bounded model checking of heap-manipulating programs using tight field bounds

DOI10.1007/978-3-030-71500-7_11zbMath1467.68092MaRDI QIDQ2044185

Yanyan Li

Publication date: 4 August 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-71500-7_11

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68P05: Data structures

Uses Software

• MiniSat
• Korat
• Java PathFinder
• TACO
• LLBMC
• CBMC
• JPF-SE
• YOGI
• DynAlloy