So it is difficult to write concurrent systems built on mutable state and locks that continue to be reliable as a system grows.
因此编写构建于可变状态和锁之上、且该状态和锁随系统增长仍然可靠的并发系统很难。
After many years of engineering practice, it is realized that formal method is important for high confidence concurrent systems.
经过多年的工程实践，人们普遍认识到形式化方法是设计实现高可信并发系统的重要途径。
Checking the properties of concurrent systems is an ever growing challenge.
检查并发系统的性质变得日益困难。
Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术。
The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.
对于并发传值系统抽象模型的选取直接影响其模型检测的效率。
Model checking is a technique for automatically verifying finite-state concurrent systems.
检验 有限状态并发系统的技术。
Temporal Logic with Constrained Events(TLCE) has been proposed to represent test purpose for testing of concurrent systems.
阐述了一种基于模型的并发系统测试框架，采用TLCE描述测试目的以引导测试用例生成。
Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism, synchronization and parallelism.
对复杂的并发系统进行有效建模要求有一套形式化体系，由它能获取系统的本质特性，如不确定性、同步性和并发性。
There are many disadvantages in system of technical appraisal for medical accidents and judicial authentication system, and the two concurrent systems have caused a series of questions.
医疗事故技术鉴定制度和司法鉴定制度均存在诸多弊端，两种制度并行的状况更引发了一系列的问题。
There are many disadvantages in system of technical appraisal for medical accidents and judicial authentication system, and the two concurrent systems have caused a series of questions.
医疗事故技术鉴定制度和司法鉴定制度均存在诸多弊端，两种制度并行的状况更引发了一系列的问题。
应用推荐