欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
针对程序的行为等价性，提出多项式程序模型的互模拟等价，适用于代数程序模型描述的软件系统设计和验证分析．给出多项式程序模型互模拟等价概念，建立互模拟等价的符号计算方法，选取结构简单的模型，简化程序设计，缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题．最后给出并发程序的相关实例．
英文摘要：
In allusion to the equivalence for behavior of program, the paper proposes bisimulation equivalence for polynomial program model. Bisimulation equivalence suits for software system design and verification which are described by algebraic program model. The paper defines the notion of bisimula- tion equivalence for polynomial program model, instaurates a symbolic calculation method for bisimula- tion equivalence, and selects a simple model to simplify procedure. It can also effectively alleviate the problem of formal verification method caused by state explosion that the computational procedure is too complex to implement. Finally, an example of the concurrent program is shown.
同期刊论文项目
同项目期刊论文
期刊信息
位置：