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 条
  • [41] Advances in Software Model Checking
    Siddiqui, Junaid H.
    Rauf, Affan
    Ghafoor, Maryam A.
    ADVANCES IN COMPUTERS, VOL 108, 2018, 108 : 59 - 89
  • [42] Software model checking with SPIN
    Holzmann, GJ
    ADVANCES IN COMPUTERS, VOL 65, 2005, 65 : 77 - 108
  • [43] On Strings in Software Model Checking
    Hojjat, Hossein
    Rummer, Philipp
    Shamakhi, Ali
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2019, 2019, 11893 : 19 - 30
  • [44] Software Model Checking SystemC
    Cimatti, Alessandro
    Narasamdya, Iman
    Roveri, Marco
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2013, 32 (05) : 774 - 787
  • [45] Model checking: Software and beyond
    Clarke, Edmund M.
    Lerda, Flavio
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 639 - 649
  • [46] Model checking for software architectures
    Mateescu, R
    SOFTWARE ARCHITECTURE, 2004, 3047 : 219 - 224
  • [47] CTL formalized specification templates in model checking
    Chen, Z. (chenzhiyuan@hrbeu.edu.cn), 1600, Editorial Board of Journal of Harbin Engineering (34):
  • [48] Towards Expressive Specification and Efficient Model Checking
    Dong, Jin Song
    Sun, Jun
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 9 - 9
  • [49] INTERACTIVE SPECIFICATION ENVIRONMENT FOR COMMUNICATION SERVICE SOFTWARE
    NIITSU, Y
    MIZUNO, O
    IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1990, 8 (02) : 181 - 188
  • [50] Specification of a Software Architecture for an Industry 4.0 Environment
    Kavakli, Evangelia
    Buenabad-Chavez, Jorge
    Tountopoulos, Vasilios
    Loucopoulos, Pericles
    Sakellariou, Rizos
    2018 SIXTH INTERNATIONAL CONFERENCE ON ENTERPRISE SYSTEMS (ES 2018), 2018, : 36 - 43
12345