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 条
  • [21] Model abstraction for stochastic model checking
    Liu, Yang
    Li, Xuan-Dong
    Ma, Yan
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (08): : 1853 - 1870
  • [22] Requirements Abstraction Model
    Tony Gorschek
    Claes Wohlin
    Requirements Engineering, 2006, 11 : 79 - 101
  • [23] Requirements abstraction model
    Gorschek, T
    Wohlin, C
    REQUIREMENTS ENGINEERING, 2006, 11 (01) : 79 - 101
  • [24] Revising Specifications with CTL Properties Using Bounded Model Checking
    Finger, Marcelo
    Wassermann, Renata
    ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2008, PROCEEDINGS, 2008, 5249 : 157 - 166
  • [25] Abstraction-based model checking using heuristical refinement
    Qian, KR
    Nymeyer, A
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 165 - 178
  • [26] Model checking RAISE applicative specifications
    Perna, Juan I.
    George, Chris
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (03) : 365 - 388
  • [27] Model Checking Specifications of Smart Cards
    Greimel, Karin
    Sessler, Norman
    Klotz, Thomas
    39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013), 2013, : 7736 - 7741
  • [28] Model checking linear logic specifications
    Bozzano, M
    DelZanno, G
    Martelli, M
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 573 - 619
  • [29] Support for Model Checking Z Specifications
    Siregar, Maria Ulfah
    PROCEEDINGS OF 2016 IEEE 17TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI), 2016, : 241 - 248
  • [30] Model checking large software specifications
    Chan, W
    Anderson, RJ
    Beame, P
    Burns, S
    Modugno, F
    Notkin, D
    Reese, JD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (07) : 498 - 520
12345