Petr Bauch, Vojtech Havel, Jiri Barnat. LTL Model Checking of LLVM Bitcode with Symbolic Data. In Petr Hlinený, Zdenek Dvorak, Jirí Jaros, Jan Kofron, Jan Korenek, Petr Matula, Karel Pala, editors, Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers. Volume 8934 of Lecture Notes in Computer Science, pages 47-59, Springer, 2014. [doi]
Abstract is missing.