A method for verifying concurrent Java components based on an analysis of concurrency failures

被引：0
|
作者：
Long, Brad [1 ,2 ]
Strooper, Paul [1 ]
Wildman, Luke [1 ]
机构：
[1] School of Information Technology and Electrical Engineering, University of Queensland, Brisbane, QLD 4072, Australia
[2] Australian Development Centre, Oracle Corporation, 300 Ann Street, Brisbane, QLD 4000, Australia
来源：
Concurrency and Computation: Practice and Experience | 2007年 / 19卷 / 03期
关键词：
Complete classification - Component - Concurrency - Concurrent software - Dynamic verifications - [!text type='Java']Java[!/text] - Number of components - Tools and techniques;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：281 / 294
相关论文
共 50 条
  • [41] Concurrency workbench: A semantics-based tool for the verification of concurrent systems
    Cleaveland, Rance, 1600, (15):
  • [42] Formal verification of concurrent and distributed constraint-based Java']Java programs
    Ramirez, R
    Santosa, AE
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 76 - 84
  • [43] A Java']Java virtual machine design based on hybrid concurrent compilation model
    Zheng, WM
    Zheng, FZ
    Yang, B
    Wang, YL
    36TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, : 18 - 23
  • [44] A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
    Liang, Hongjin
    Feng, Xinyu
    Fu, Ming
    ACM SIGPLAN NOTICES, 2012, 47 (01) : 455 - 468
  • [45] CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs
    Sanan, David
    Zhao, Yongwang
    Hou, Zhe
    Zhang, Fuyuan
    Tiu, Alwen
    Liu, Yang
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017, 10205 : 481 - 498
  • [46] A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
    Liang, Hongjin
    Feng, Xinyu
    Fu, Ming
    POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 455 - 468
  • [47] AN ACTION BASED FRAMEWORK FOR VERIFYING LOGICAL AND BEHAVIORAL PROPERTIES OF CONCURRENT SYSTEMS
    DENICOLA, R
    FANTECHI, A
    GNESI, S
    RISTORI, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 37 - 47
  • [48] Verifying the Concurrent Properties in BPEL Based Web Service Composition Process
    Li, Bixin
    Ji, Shunhui
    Qiu, Dong
    Leung, Hareton
    Zhang, Gongyuan
    IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2013, 10 (04): : 410 - 424
  • [49] Verifying and Testing Concurrent Programs using Constraint Solver based Approaches
    Khanna, Dhriti
    Purandare, Rahul
    Sharma, Subodh
    2020 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2020), 2020, : 834 - 838
  • [50] ANALYSIS OF MULTIPLE ORDER FAILURES BASED ON PROBABILITY ESTIMATION METHOD
    Liang, Chen
    Zheng, Wei
    Zhi, Yong
    Bai, Wen-Qiang
    ENERGY, ENVIRONMENTAL & SUSTAINABLE ECOSYSTEM DEVELOPMENT, 2016,
12345