Application of model checking in software requirements analysis

被引：0
作者：
Liu, Yuejun [1 ,2 ]
Su, Jing [1 ]
机构：
[1] School of Software Engineering, Anyang Normal University, Anyang, Henan, China
[2] School of Computer Engineering and Science, Shanghai University, Shanghai, China
来源：
Metallurgical and Mining Industry | 2015年 / 7卷 / 08期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：372 / 376
相关论文
共 50 条
  • [21] Application Safety Enhancement Model Using Self Checking with Software Enzymes
    Subramaniam, Chandrasekaran
    Ravishankar, Arthi
    Gopal, Deepthi
    Subramanian, Dhaarini
    FOURTH INTERNATIONAL CONFERENCE ON MACHINE VISION (ICMV 2011): MACHINE VISION, IMAGE PROCESSING, AND PATTERN ANALYSIS, 2012, 8349
  • [22] Software model checking with SPIN
    Holzmann, GJ
    ADVANCES IN COMPUTERS, VOL 65, 2005, 65 : 77 - 108
  • [23] On Strings in Software Model Checking
    Hojjat, Hossein
    Rummer, Philipp
    Shamakhi, Ali
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2019, 2019, 11893 : 19 - 30
  • [24] Tutorial: Software model checking
    Clarke, E
    Kroening, D
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 9 - 10
  • [25] AN APPLICATION OF STRUCTURAL MODELING TO SOFTWARE REQUIREMENTS ANALYSIS AND DESIGN
    MATSUMURA, K
    MIZUTANI, H
    ARAI, M
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (04) : 461 - 471
  • [26] Static analysis versus software model checking for bug finding
    Engler, D
    Musuvathi, M
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 191 - 210
  • [27] Probabilistic Model Checking GitHub Repositories for Software Project Analysis
    Jo, Suhee
    Kwon, Ryeonggu
    Kwon, Gihwon
    APPLIED SCIENCES-BASEL, 2024, 14 (03):
  • [28] Applying model checking to destructive testing and analysis of software system
    Kumamoto, Hiroki
    Mizuno, Takahisa
    Narita, Kensuke
    Nishizaki, Shin-ya
    Journal of Software, 2013, 8 (05) : 1254 - 1261
  • [29] Fast Parametric Model Checking With Applications to Software Performability Analysis
    Fang, Xinwei
    Calinescu, Radu
    Gerasimou, Simos
    Alhwikem, Faisal
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 49 (10) : 4707 - 4730
  • [30] Model checking visual specification of requirements
    Shrotri, U
    Bhaduri, P
    Venkatesh, R
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 202 - 209
12345