Specification and Generation of Environment for Model Checking of Software Components

被引：0
|
作者：
Department of Software Engineering, Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic [1 ]
不详 [2 ]
机构：
来源：
Electron. Notes Theor. Comput. Sci. | / 2卷 / 143-154期
关键词：
Automated generation of environment - Behavior protocols - Software components;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
    Harrison, M. D.
    Drinnan, M.
    Campos, J. C.
    Masci, P.
    Freitas, L.
    di Maria, C.
    Whitaker, M.
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), 2017, 10487 : 137 - 154
  • [22] Software Model Checking
    Jhala, Ranjit
    Majumdar, Rupak
    ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [23] On Formal Specification of Software Components and Systems
    Flynn, Sharon
    Hamlet, Dick
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 161 : 91 - 107
  • [24] Automatic Generation of Model Checking Scripts based on Environment Modeling
    Yatake, Kenro
    Aoki, Toshiaki
    Computer Software, 2012, 29 (03) : 121 - 142
  • [25] Automatic Generation of Model Checking Scripts Based on Environment Modeling
    Yatake, Kenro
    Aoki, Toshiaki
    MODEL CHECKING SOFTWARE, 2010, 6349 : 58 - 75
  • [26] Compositional specification and model checking in GSTE
    Yang, J
    Seger, CJH
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 216 - 228
  • [27] Model checking visual specification of requirements
    Shrotri, U
    Bhaduri, P
    Venkatesh, R
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 202 - 209
  • [28] A library of OCL specification patterns for behavioral specification of software components
    Ackermann, Joerg
    Turowski, Klaus
    ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2006, 4001 : 255 - 269
  • [29] INSEP - a model-based interactive software environment for protocol specification
    Zhang, Yaoxue
    Zhang, Yue
    Advances in Modelling and Analysis B: Signals, Information, Data, Patterns, 1994, 30 (1-2): : 31 - 37
  • [30] Improved invariant generation for industrial software model checking of time properties
    Todorov, Vassil
    Taha, Safouan
    Boulanger, Frederic
    Hernandez, Armando
    2019 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2019), 2019, : 334 - 341
12345