partial strongest post-condition 部分最强后置条件
After structured analysis, the statements of key source code will be scanned, and each statement will be translated into formal specification according to the strongest postcondition semantics of the basic structure.
在结构化分析的基础上,对关键性的源代码文件进行扫描,对每条语句进行分析,根据C程序语句中各种基本结构的最强后置条件形式化语义,对每条语句按照相应的规则进行转换,得到程序的形式规约。
参考来源 - 形式化技术在逆向工程中的应用研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐