LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution).

Stephan Falke, Florian Merz, Carsten Sinz

Browse the full TACAS paper archive.