Automatic and Hierarchical Verification for Concurrent Systems

被引：0

作者：

赵旭东 ^{[1
]}

冯玉琳 ^{[1
]}

机构：

[1] University of Science and Technology of China

来源：

Journal of Computer Science & Technology | 1990年 / 03期

关键词：

Automatic and Hierarchical Verification for Concurrent Systems;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Proving correctness of concurrent systems is quite difficult because of the high level ofnondeterminism,especially in large and complex ones.AMC is a model checking system for verifyingasynchronous 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 withthe concept of hierarchy,which has been proved to be effective and practical in verifying large systemswithout a large growth of cost.

引用

页码：241 / 249

页数：9

共 50 条

[1] Automatic verification of concurrent stochastic systems
Kwiatkowska, Marta
Norman, Gethin
Parker, David
Santos, Gabriel
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2021, 58 (1-2) : 188 - 250
[2] Automatic verification of concurrent stochastic systems
Marta Kwiatkowska
Gethin Norman
David Parker
Gabriel Santos
[J]. Formal Methods in System Design, 2021, 58 : 188 - 250
[3] A probabilistic approach to automatic verification of concurrent systems
Tronci, E
Della Penna, G
Intrigila, B
Zilli, MV
[J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 317 - 324
[4] AUTOMATIC VERIFICATION OF FINITE STATE CONCURRENT SYSTEMS
CLARKE, EM
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 296 - 297
[5] RESEARCH ON AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS
CLARKE, EM
GRUMBERG, O
[J]. ANNUAL REVIEW OF COMPUTER SCIENCE, 1987, 2 : 269 - 290
[6] LIMITS FOR AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS
APT, KR
KOZEN, DC
[J]. INFORMATION PROCESSING LETTERS, 1986, 22 (06) : 307 - 309
[7] Automatic verification of concurrent Ada programs
Bruneton, E
Pradat-Peyre, JF
[J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 146 - 157
[8] Automatic verification of concurrent object properties
El-Baïda, R
Bahsoun, JP
[J]. ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 411 - 417
[9] Automatic verification of concurrent systems using a formula-based compositional approach
Santone, A
[J]. ACTA INFORMATICA, 2002, 38 (08) : 531 - 564
[10] Exploiting transition locality in automatic verification of finite-state concurrent systems
Della Penna G.
Intrigila B.
Melatti I.
Tronci E.
Venturini Zilli M.
[J]. International Journal on Software Tools for Technology Transfer, 2004, 6 (4) : 320 - 341

← 1 2 3 4 5 →