Feasibility of model checking software requirements: A case study

被引：0
|
作者：
Sreemani, T [1 ]
Atlee, JM [1 ]
机构：
[1] UNIV WATERLOO,DEPT COMP SCI,WATERLOO,ON N2L 3G1,CANADA
来源：
COMPASS '96 - PROCEEDINGS OF THE ELEVENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY, PROCESS SECURITY | 1996年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：77 / 88
页数：12
相关论文
共 50 条
  • [1] A case study in model checking software systems
    Wing, JM
    VaziriFarahani, M
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1997, 28 (2-3) : 273 - 299
  • [2] Application of model checking in software requirements analysis
    Liu, Yuejun
    Su, Jing
    [J]. Metallurgical and Mining Industry, 2015, 7 (08): : 372 - 376
  • [3] Model checking aircraft controller software: a case study
    Chen, Zhe
    Gu, Yi
    Huang, Zhiqiu
    Zheng, Jun
    Liu, Chang
    Liu, Ziyi
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2015, 45 (07): : 989 - 1017
  • [4] Software model checking in practice: An industrial case study
    Chandra, S
    Godefroid, P
    Palm, C
    [J]. ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 431 - 441
  • [5] Assume-guarantee model checking of software: A comparative case study
    Pasareanu, CS
    Dwyer, MB
    Huth, M
    [J]. THEORETICAL AND PRACTICAL ASPECTS OF SPIN MODEL CHECKING, 1999, 1680 : 168 - 183
  • [6] Model Checking a C plus plus Software Framework: A Case Study
    Lang, John
    Prasetya, I. S. W. B.
    [J]. ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 1026 - 1036
  • [7] A Model Checking based Software Requirements Specification Approach for Embedded Systems
    Yang, Xiao
    Chen, Xiaohong
    Wang, Jiangtao
    [J]. 2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 184 - 191
  • [8] Model checking Trampoline OS: a case study on safety analysis for automotive software
    Choi, Yunja
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2014, 24 (01): : 38 - 60
  • [9] SOFTWARE REQUIREMENTS FEASIBILITY IN SDI
    WEISS, DM
    [J]. COMMUNICATIONS OF THE ACM, 1987, 30 (11) : 905 - 905
  • [10] Software Model Checking
    Jhala, Ranjit
    Majumdar, Rupak
    [J]. ACM COMPUTING SURVEYS, 2009, 41 (04)
12345