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] Software Model Checking SystemC
    Cimatti, Alessandro
    Narasamdya, Iman
    Roveri, Marco
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2013, 32 (05) : 774 - 787
  • [22] Model checking: Software and beyond
    Clarke, Edmund M.
    Lerda, Flavio
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 639 - 649
  • [23] Model checking for software architectures
    Mateescu, R
    SOFTWARE ARCHITECTURE, 2004, 3047 : 219 - 224
  • [24] 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
  • [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] 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
  • [27] 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
  • [28] Probabilistic Model Checking GitHub Repositories for Software Project Analysis
    Jo, Suhee
    Kwon, Ryeonggu
    Kwon, Gihwon
    APPLIED SCIENCES-BASEL, 2024, 14 (03):
  • [29] Static analysis versus software model checking for bug finding
    Engler, D
    Musuvathi, M
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 191 - 210
  • [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