...
机译:ARM汇编代码中Bitflips的形式化建模和分析
Aalborg Univ, Dept Comp Sci, Aalborg, Denmark;
Aalborg Univ, Dept Comp Sci, Aalborg, Denmark;
Aalborg Univ, Dept Comp Sci, Aalborg, Denmark;
Aalborg Univ, Dept Comp Sci, Aalborg, Denmark;
Single-event upsets; Biflips; Static analysis; Model checking;
机译:正式证明汇编代码针对功耗分析的安全性:以平衡逻辑为例
机译:使用BML规范注释的Java Bytecode程序的正式模型。
机译:波浪农场波对线系统的建模及其对电网码的响应分析
机译:关于教学形式方法:行为模型和代码分析
机译:开发和验证依赖燃耗的计算方案,以分析具有高级晶格代码的组件。
机译:普通mar猴基因组的重测序可改善基因组装配和基因编码序列分析
机译:正式证明的针对功耗分析的汇编代码安全性:平衡逻辑案例研究
机译:安全关键装配规范的正式验证