Verification of consistency between concurrent program designs and their requirements

被引：0
|
作者：
Chechik, M [1 ]
Gannon, J [1 ]
机构：
[1] UNIV MARYLAND,DEPT COMP SCI,COLLEGE PK,MD 20742
来源：
COMPASS '96 - PROCEEDINGS OF THE ELEVENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY, PROCESS SECURITY | 1996年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：103 / 116
页数：14
相关论文
共 50 条
  • [21] ELIMINATING REDUNDANT INTERLEAVINGS DURING CONCURRENT PROGRAM VERIFICATION
    VALMARI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 366 : 89 - 103
  • [22] Coverage Metrics for Verification of Concurrent SystemC Designs Using Mutation Testing
    Sen, Alper
    Abadir, Magdy S.
    2010 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2010, : 75 - 81
  • [23] Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements
    Chen, Xiaohong
    Zhang, Juan
    Jin, Zhi
    Zhang, Min
    Li, Tong
    Chen, Xiang
    Zhou, Tingliang
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2023, 24 (12) : 15146 - 15157
  • [24] Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach
    Menghi, Claudio
    Balai, Eugene
    Valovcin, Darren
    Sticksel, Christoph
    Rajhans, Akshay
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2025, 51 (02) : 595 - 620
  • [25] Behavioral Consistency Checking between Requirements and Implementations
    XU Yong
    LING Xiang
    WU Guoqing
    HUANG Bo
    WuhanUniversityJournalofNaturalSciences, 2014, 19 (06) : 477 - 488
  • [26] PC-RIMST - A TOOL FOR VALIDATING CONCURRENT PROGRAM DESIGNS
    VALMARI, A
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 809 - 818
  • [27] Maintaining consistency between SystemC and RTL system designs
    Bruce, Alistair
    Nightingale, Andrew
    Romdhane, Nizar
    Hashmi, M. M. Kamal
    Beavis, Steve
    Lennard, Christopher
    43RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2006, 2006, : 85 - +
  • [28] Survey on Interactive Theorem Proving Based Concurrent Program Verification
    Wang Z.-Y.
    Wu S.-S.
    Cao Q.-X.
    Ruan Jian Xue Bao/Journal of Software, 2024, 35 (09):
  • [29] Conditional Interpolation: Making Concurrent Program Verification More Effective
    Su, Jie
    Tian, Cong
    Duan, Zhenhua
    PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21), 2021, : 144 - 154
  • [30] Scenario-specific verification of system requirements consistency via time modeling
    Shi, Jingkai
    Zheng, Liwei
    INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2024, 15 (02)
12345