Efficient Symbolic Simulation of Low Level Software | IEEE Conference Publication | IEEE Xplore