Model checking complete requirements specifications using abstraction

被引：0
|
作者：
Bharadwaj, Ramesh [1 ]
Heitmeyer, Constance L. [1 ]
机构：
[1] Naval Research Lab, Washington, United States
来源：
Automated Software Engineering | 1999年 / 6卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
页码：37 / 68
相关论文
共 50 条
  • [1] Model Checking Complete Requirements Specifications Using Abstraction
    Bharadwaj R.
    Heitmeyer C.L.
    Automated Software Engineering, 1999, 6 (1) : 37 - 68
  • [2] Using abstraction and model checking to detect safety violations in requirements specifications
    Heitmeyer, C
    Kirby, J
    Labaw, B
    Archer, M
    Bharadwaj, R
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (11) : 927 - 948
  • [3] Model checking software requirement specifications using domain reduction abstraction
    Choi, Y
    Heimdahl, M
    18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 314 - 317
  • [4] Using model checking to generate tests from requirements specifications
    Gargantini, A
    Heitmeyer, C
    SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, 1999, 1687 : 146 - 162
  • [5] Model checking early requirements specifications in Tropos
    Fuxman, A
    Pistore, M
    Mylopoulos, J
    Traverso, P
    FIFTH IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2001, : 174 - 181
  • [6] Analyzing tabular requirements specifications using infinite state model checking
    Bultan, Tevfik
    Heitmeyer, Constance
    FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 7 - +
  • [7] Automatic Verification of Behavior of UML Requirements Specifications using Model Checking
    Matsuura, Saeko
    Ikeda, Sae
    Yokotae, Kasumi
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2020, : 158 - 166
  • [8] A Systematic Approach to Transforming System Requirements into Model Checking Specifications
    Aceituna, Daniel
    Do, Hyunsook
    Srinivasan, Sudarshan
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 165 - 174
  • [9] Refining Task Specifications Using Model Checking
    Yeolekar, Anand
    Metta, Ravindra
    Venkatesh, R.
    Chakraborty, Samarjit
    2018 IEEE 24TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2018, : 185 - 191
  • [10] Model checking Z specifications using SAL
    Smith, G
    Wildman, L
    ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 85 - 103
12345