ARM汇编代码中位翻转的形式化建模与分析

Formal modelling and analysis of Bitflips in ARM assembly code

• René Rydhof Hansen 通讯
• Kim G. Larsen
• Mads Chr. Olesen
• Erik Ramsgaard Wognsen