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 条
  • [1] Experiences with the application of symbolic model checking to the analysis of software specifications
    Anderson, RJ
    Beame, P
    Chan, W
    Notkin, D
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 460 - 469
  • [2] Feasibility of model checking software requirements: A case study
    Sreemani, T
    Atlee, JM
    COMPASS '96 - PROCEEDINGS OF THE ELEVENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY, PROCESS SECURITY, 1996, : 77 - 88
  • [3] A Model Checking based Software Requirements Specification Approach for Embedded Systems
    Yang, Xiao
    Chen, Xiaohong
    Wang, Jiangtao
    2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 184 - 191
  • [4] Combining static analysis and model checking for software analysis
    Brat, G
    Visser, W
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 262 - 269
  • [5] Formal software analysis - Emerging trends in software model checking
    Dwyer, Matthew B.
    Hatcliff, John
    Robby
    Pasareanu, Corina S.
    Visser, Willem
    FOSE 2007: FUTURE OF SOFTWARE ENGINEERING, 2007, : 120 - +
  • [6] New results in software model checking and analysis
    PǍsǍreanu, Corina S.
    International Journal on Software Tools for Technology Transfer, 2011, 13 (01) : 1 - 2
  • [7] Model Checking Process with Goal Oriented Requirements Analysis
    Ogawa, Hideto
    Kumeno, Fumihiro
    Honiden, Shinichi
    APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 377 - 384
  • [8] Software Model Checking
    Jhala, Ranjit
    Majumdar, Rupak
    ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [9] Application of model checking technology to automatically vulnerabilities finding in software
    College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China
    不详
    不详
    Huazhong Ligong Daxue Xuebao, 2008, 2 (70-73):
  • [10] The Application of Model Checking in Validating Information System Software Security
    Liu Xin
    Cai Wandong
    2011 INTERNATIONAL CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND AUTOMATION (CCCA 2011), VOL III, 2010, : 448 - 451
12345