10.3969/j.issn.1000-386X.2002.04.008
实时系统软件开发过程中形式方法的作用
针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法.文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向.
实时系统、形式方法、形式规约、定理证明、形式验证
19
TP31(计算技术、计算机技术)
2004-01-15（万方平台首次上网日期，不代表论文的发表时间）
共5页
23-26,37
