SPECIFICATION AND VERIFICATION OF LIVENESS PROPERTIES OF CYCLIC, CONCURRENT PROCESSES

被引：2
|
作者：
REED, J
YEH, RT
机构：
[1] OHIO UNIV,ATHENS,OH 45701
[2] INT SOFTWARE SYST INC,AUSTIN,TX 78579
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1988年 / 10卷 / 01期
关键词：
D O I：
10.1145/42192.42195
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：156 / 177
页数：22
相关论文
共 50 条
  • [11] Specification and proof of liveness properties in B event systems
    Mosbahi, Olfa
    Jaray, Jacques
    ICSOFT 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE: SOFTWARE ENGINEERING, 2007, : 25 - 34
  • [12] Proof Score Approach to Verification of Liveness Properties
    Ogata, Kazuhiro
    Futatsugi, Kokichi
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2008, E91D (12): : 2804 - 2817
  • [13] Automatic Verification of Liveness Properties in the Situation Calculus
    Li, Jian
    Liu, Yongmei
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 2886 - 2892
  • [14] A METHOD OF SPECIFICATION AND VERIFICATION OF COMMUNICATING PROCESSES
    KARPOV, JG
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (03): : 3 - 10
  • [15] SPECIFICATION AND VERIFICATION OF CONCURRENT PROGRAMS BY ALL-AUTOMATA
    MANNA, Z
    PNUELI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 124 - 164
  • [16] SPECIFICATION AND VERIFICATION OF CONCURRENT PROGRAMS BY ALL-AUTOMATA
    MANNA, Z
    PNUELI, A
    TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 124 - 164
  • [17] On ensuring safety and liveness properties of concurrent models in SystemC
    Shurpali, P
    Shankar, R
    Shuff, E
    2005 IEEE International Conference on Microelectronic Systems Education, Proceedings, 2005, : 93 - 94
  • [18] Checking liveness properties of concurrent systems by reinforcement learning
    Araragi, Tadashi
    Cho, Seung Mo
    MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2007, 4428 : 84 - +
  • [19] TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems
    Yu, Yinbo
    Liu, Jiajia
    IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2022, 17 : 3773 - 3788
  • [20] Verification of Safety and Liveness Properties of Metric Transition Systems
    Girard, Antoine
    Zheng, Gang
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2012, 11
12345