"LTL Model Checking of LLVM Bitcode with Symbolic Data."

Petr Bauch, Vojtech Havel, Jiri Barnat (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics