Petr Rockai, Jiri Barnat. A Simulator for LLVM Bitcode. In Kim Guldstrand Larsen, Tim A. C. Willemse, editors, Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings. Volume 11687 of Lecture Notes in Computer Science, pages 127-142, Springer, 2019. [doi]
Abstract is missing.