Miniconf-UK/2013/model checking

Michael Tautschnig - Software Model Checking and Debian - better together

Software model checking tools promise to deliver genuine traces to errors, and sometimes even proofs of their absence. As static analysers, they do not require concrete execution of programs, which may be even more beneficial when targeting new platforms. Academic research focusses on improving scalability, yet largely disregards practical technical challenges to make tools cope with real-world code. Our distribution proved to provide a perfect basis for experimenting with those tools. Initial experiments lead to a number of improvements in tools, but also ~200 bug reports.

A PDF version of my slides is availabe here.