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 条
  • [1] Automatic analysis of consistency between requirements and designs
    Chechik, M
    Gannon, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (07) : 651 - 672
  • [2] Comments on "Automatic analysis of consistency between requirements and designs"
    Jiau, HC
    Yu, DF
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (04) : 279 - 280
  • [3] Comments on Automatic analysis of consistency between requirements and designs
    Department of Electrical Engineering, National Cheng Kung University, Tainan, Taiwan
    IEEE Trans Software Eng, 2006, 4 (279-280):
  • [4] Consistency verification between collaborative business processes and requirements
    Mo, Qi
    Dai, Fei
    Li, Tong
    2019 INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA), 2019, : 526 - 532
  • [5] Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification
    Sun, Zhihang
    Fan, Hongyu
    He, Fei
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
  • [6] A Semantic Driven Approach for Consistency Verification Between Requirements and FMEA
    Gigante, Gabriella
    Gargiulo, Francesco
    Ficco, Massimo
    Pascarella, Domenico
    INTELLIGENT DISTRIBUTED COMPUTING IX, IDC'2015, 2016, 616 : 403 - 413
  • [7] Program Regularization in Memory Consistency Verification
    Chen, Yunji
    Li, Lei
    Chen, Tianshi
    Li, Ling
    Wang, Lei
    Feng, Xiaoxue
    Hu, Weiwu
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2012, 23 (11) : 2163 - 2174
  • [8] VARED: Verification and Analysis of Requirements and Early Designs
    Badger, Julia
    Throop, David
    Claunch, Charles
    2014 IEEE 22ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2014, : 325 - 326
  • [9] Verification requirements for SystemC/C++ designs
    Kalinic, Vlada
    Electronics World, 2021, 127 (2009): : 24 - 26
  • [10] Sound Sequentialization for Concurrent Program Verification
    Farzan, Azadeh
    Klumpp, Dominik
    Podelski, Andreas
    PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 506 - 521
12345