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 条
  • [1] Properties as processes: Their specification and verification
    Kelso, J
    Milne, G
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 503 - 517
  • [2] A partial-order approach to the verification of concurrent systems: Checking liveness properties
    Bolignano, D
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 278 - 292
  • [3] Specification and verification of synchronizing concurrent objects
    Ciobanu, G
    Lucanu, D
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 307 - 327
  • [4] Specification and verification of concurrent systems in CESAR
    Queille, J. P.
    Sifakis, J.
    25 YEARS OF MODEL CHECKING: HISTORY, ACHIEVEMENTS, PERSPECTIVES, 2008, 5000 : 216 - 230
  • [5] PROVING LIVENESS PROPERTIES OF CONCURRENT PROGRAMS
    OWICKI, S
    LAMPORT, L
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (03): : 455 - 495
  • [6] Verification of Liveness Properties in Distributed Systems
    Yadav, Divakar
    Butler, Michael
    CONTEMPORARY COMPUTING, PROCEEDINGS, 2009, 40 : 625 - +
  • [7] Specification and Verification of Concurrent Programs Through Refinements
    Ray, Sandip
    Sumners, Rob
    JOURNAL OF AUTOMATED REASONING, 2013, 51 (03) : 241 - 280
  • [8] Specification and verification of concurrent systems by causality and realizability
    Broy, Manfred
    THEORETICAL COMPUTER SCIENCE, 2023, 974
  • [9] An Ontology of Specification Patterns for Verification of Concurrent Systems
    Garanina, Natalia
    Zubin, Vladimir
    Lyakh, Tatiana
    Gorlatch, Sergei
    NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES (SOMET_18), 2018, 303 : 515 - 528
  • [10] Specification and Verification of Concurrent Programs Through Refinements
    Sandip Ray
    Rob Sumners
    Journal of Automated Reasoning, 2013, 51 : 241 - 280
12345