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 条
  • [41] Automatic verification of concurrent object properties
    El-Baïda, R
    Bahsoun, JP
    ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 411 - 417
  • [42] Toward Cyclic Scheduling of Concurrent Multimodal Processes
    Bocewicz, Grzegorz
    Wojcik, Robert
    Banaszak, Zbigniew A.
    COMPUTATIONAL COLLECTIVE INTELLIGENCE: TECHNOLOGIES AND APPLICATIONS, PT I, 2011, 6922 : 448 - 457
  • [43] Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems
    Sogokon, Andrew
    Jackson, Paul B.
    FM 2015: FORMAL METHODS, 2015, 9109 : 514 - 531
  • [44] Specification of Temporal Properties of Functions for Runtime Verification
    Dawes, Joshua Heneage
    Reger, Giles
    SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 2206 - 2214
  • [45] SPECIFICATION AND VERIFICATION OF DYNAMIC PROPERTIES IN DISTRIBUTED COMPUTATIONS
    BABAOGLU, O
    RAYNAL, M
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1995, 28 (02) : 173 - 185
  • [46] Specification of coordinated objects and verification of their temporal properties
    Danes, M
    Lucanu, D
    Ciobanu, G
    Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings, 2005, : 259 - 266
  • [47] Specification and verification of behavioural properties of fault diagnosis
    Terstyanszky, G
    UKACC INTERNATIONAL CONFERENCE ON CONTROL '98, VOLS I&II, 1998, : 398 - 403
  • [48] Specification and Verification of Invariant Properties of Transition Systems
    Gaina, Daniel
    Tutu, Ionut
    Riesco, Adrian
    2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018, : 99 - 108
  • [49] Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions
    Yao, Jianan
    Tao, Runzhou
    Gu, Ronghui
    Nieh, Jason
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
  • [50] Automatic verification of any number of concurrent, communicating processes
    Calder, M
    Miller, A
    ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 227 - 230
12345