10.3969/j.issn.1004-373X.2007.19.045
基于B方法验证技术的应用研究
形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的.用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查=和证明义务的给出,证明了抽象机的正确性.
B方法、形式化方法、因子网络、验证、免疫系统
30
TP309(计算技术、计算机技术)
江苏省自然科学基金BK2004052;扬州大学校科研和教改项目KK0513109
2007-11-05(万方平台首次上网日期,不代表论文的发表时间)
共4页
131-134