期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Automatic and Hierarchical Verification for Concurrent Systems
1
作者 赵旭东 冯玉琳 《Journal of Computer Science & Technology》 SCIE EI CSCD 1990年第3期241-249,共9页
Proving correctness of concurrent systems is quite difficult because of the high level of nondeterminism,especially in large and complex ones.AMC is a model checking system for verifying asynchronous concurrent system... Proving correctness of concurrent systems is quite difficult because of the high level of nondeterminism,especially in large and complex ones.AMC is a model checking system for verifying asynchronous concurrent systems by using branching time temporal logic.This paper introduces the tech- niques of the modelling approach,especially how to construct models for large concurrent systems with the concept of hierarchy,which has been proved to be effective and practical in verifying large systems without a large growth of cost. 展开更多
关键词 Automatic and Hierarchical verification for Concurrent systems
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部