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 条
  • [41] Requirements specifications checking of embedded real-time software
    Wu, GQ
    Shu, FD
    Wang, M
    Chen, WQ
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 17 (01) : 56 - 63
  • [42] Elaborating Requirements Using Model Checking and Inductive Learning
    Alrajeh, Dalal
    Kramer, Jeff
    Russo, Alessandra
    Uchitel, Sebastian
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (03) : 361 - 383
  • [43] Reference model for requirements and specifications
    Gunter, Carl A., 2000, IEEE, United States (17)
  • [44] A reference model for requirements and specifications
    Gunter, CA
    Gunter, EL
    Jackson, M
    Zave, P
    IEEE SOFTWARE, 2000, 17 (03) : 37 - +
  • [45] Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking
    Scilingo, Gaston
    Novaira, Maria Marta
    Degiovanni, Renzo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (139): : 71 - 76
  • [46] CONTRACT CHECKING USING Z SPECIFICATIONS
    Negreanu, Lorina
    Mocanu, Irina
    ANNALS OF DAAAM FOR 2009 & PROCEEDINGS OF THE 20TH INTERNATIONAL DAAAM SYMPOSIUM, 2009, 20 : 301 - 302
  • [47] Model Sketching by Abstraction Refinement for Lifted Model Checking
    Dimovski, Aleksandar S.
    37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 1845 - 1848
  • [48] Model checking class specifications for web applications
    Choi, EH
    Watanabe, H
    12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 67 - 75
  • [49] Partitioned model checking from software specifications
    Feng, Xiushan
    Hu, Alan J.
    Yang, Jin
    ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 583 - 587
  • [50] A model checking approach for verifying COWS specifications
    Fantechi, Alessandro
    Gnesi, Stefania
    Lapadula, Alessandro
    Mazzanti, Franco
    Pugliese, Rosario
    Tiezzi, Francesco
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 4961 : 230 - +
12345