本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库和操作系统组件。此方法源于Hoare逻辑的程序推理以及耶鲁大学的认证汇编编程(CAP)，它首先需要定义一个推理需要的目标机器和一组静态推理规则，并且证明推理规则的可靠性(安全性)。
047-按位取反(NOT)与汇编指令 SETZ(SETE)SETNZ(SETNE)
初级反汇编视频教程08-算法反汇编（啊冲主讲）
初级反汇编视频教程10-反汇编练习（啊冲主讲）
嵌入式开发概述3-嵌入式开发方法与开发语言4
013-JNE指令与标志位(ZF等于)
初级反汇编视频教程07-C语言的共同体和枚举类型（啊冲主讲）
嵌入式开发概述3-嵌入式开发方法与开发语言1
十问嵌入式7-汇编语言的作用
Cocktail
x
畅学电子
