A Simulator for LLVM Bitcode

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-27008-7_8 ◽

2019 ◽

pp. 127-142

Author(s):

Petr Ročkai ◽

Jiří Barnat

Download Full-text