基于B方法验证技术的应用研究

Application and Study of Test Technical Based on B Method

形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查和证明义务的给出,证明了抽象机的正确性。

The formal B method is established on a strict mathematics foundation, by strict test technique to prove. It is useful and right to the description of the large and complicated system particularly. It describes two cytokine network models of the immune system with the formal B method,then it uses strictly test technique,The type check and certificate compulsory,to prove the abstract machine.