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 条
[41]   Parallel Assignments in Software Model Checking [J].
Stokely, Murray ;
Chaki, Sagar ;
Ouaknine, Joel .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (01) :77-94
[42]   Software Model Checking Takes Off [J].
Miller, Steven P. ;
Whalen, Michael W. ;
Cofer, Daren D. .
COMMUNICATIONS OF THE ACM, 2010, 53 (02) :58-64
[43]   Software testing via model checking [J].
Belli, F ;
Güldali, B .
COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 :907-916
[44]   Software model checking for resources race [J].
Wang, Hong ;
Zhang, Tao .
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2017, 20 (01) :179-193
[45]   Model checking large software specifications [J].
Chan, W ;
Anderson, RJ ;
Beame, P ;
Burns, S ;
Modugno, F ;
Notkin, D ;
Reese, JD .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (07) :498-520
[46]   Software Model Checking: The VeriSoft Approach [J].
Patrice Godefroid .
Formal Methods in System Design, 2005, 26 :77-101
[47]   Distributed and Predictable Software Model Checking [J].
Lopes, Nuno P. ;
Rybalchenko, Andrey .
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 :340-+
[48]   Translating software designs for model checking [J].
Xie, F ;
Levin, V ;
Kurshan, RR ;
Browne, JC .
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 :324-338
[49]   SOFTWARE MODEL CHECKING FOR AVIONICS SYSTEMS [J].
Cofer, Darren ;
Whalen, Michael ;
Miller, Steven .
DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, :1209-1216
[50]   Executable Counterexamples in Software Model Checking [J].
Gennari, Jeffrey ;
Gurfinkel, Arie ;
Kahsai, Temesghen ;
Navas, Jorge A. ;
Schwartz, Edward J. .
VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 :17-37
12345