Memory model sensitive bytecode verification - Huynh, T.Q. (2013)
10.1007/s10703-007-0041-6