P Ročkai,
J Barnat - Formal Methods for Industrial Critical Systems: 24th …, 2019 - Springer
In this paper, we introduce an interactive simulator for programs in the form of LLVM bitcode.
The main features of the simulator include precise control over thread scheduling, automatic …