形式规范Hoare逻辑相关硕士博士期刊学术论文

与传统的高级语言程序验证相比，汇编代码验证中所需要的形式规范往往比较复杂，通常的做法是要求程序员手写形式规范，或是牺牲形式规范......