Verifying Multi-threaded Software with Impact

We provide additional material for our FMCAD 2013 paper.

• Final paper
• Executable for 64-bit Linux: impara-linux64-0.2.tgz
• Source code: impara-0.2-src.tgz
• Benchmarks: benchmarks-fmcad2013.tgz