Parameterized verification of graph transformation systems withwhole neighbourhood operations

被引：3
|
作者：
Universit`a di Genova, Italy [1 ]
不详 [2 ]
机构：
来源：
Lect. Notes Comput. Sci. | / 72-84期
关键词：
25;
D O I：
10.1007/978-3-319-11439-2_6
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [11] Abstraction of graph transformation systems by temporal logic and its verification
    Yamamoto, Mitsuharu
    Tanabe, Yoshinori
    Takahashi, Koichi
    Hagiya, Masami
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 518 - +
  • [12] A framework for the verification of infinite-state graph transformation systems
    Baldan, Paolo
    Corradini, Andrea
    Koenig, Barbara
    INFORMATION AND COMPUTATION, 2008, 206 (07) : 869 - 907
  • [13] An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems
    Nejati, Faranak
    Hamid, Nor Asilah Wati Abdul
    Koohi, Sina Zangbari
    Zadeh, Zahra Rahmani
    IEEE ACCESS, 2023, 11 : 75748 - 75760
  • [14] Verification of Graph Transformation Systems with Context-Free Specifications
    Koenig, Barbara
    Esparza, Javier
    GRAPH TRANSFORMATIONS, 2010, 6372 : 107 - +
  • [15] Parameterized verification of monotone information systems
    Chane-Yack-Fa, Raphael
    Frappier, Marc
    Mammar, Amel
    Finkel, Alain
    FORMAL ASPECTS OF COMPUTING, 2018, 30 (3-4) : 463 - 489
  • [16] Compositional analysis for verification of parameterized systems
    Basu, S
    Ramakrishnan, CR
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 315 - 330
  • [17] Compositional analysis for verification of parameterized systems
    Basu, S
    Ramakrishnan, CR
    THEORETICAL COMPUTER SCIENCE, 2006, 354 (02) : 211 - 229
  • [18] Automatic abstraction for verification of parameterized systems
    Zhang, Long
    Qu, Wanxia
    Guo, Yang
    Li, Sikun
    Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2014, 26 (06): : 991 - 998
  • [19] Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
    Schneider, Sven
    Dyck, Johannes
    Giese, Holger
    GRAPH TRANSFORMATION, ICGT 2020, 2020, 12150 : 257 - 275
  • [20] Parameterized Verification of Systems with Global Synchronization and Guards
    Jaber, Nouraldin
    Jacobs, Swen
    Wagner, Christopher
    Kulkarni, Milind
    Samanta, Roopsha
    COMPUTER AIDED VERIFICATION (CAV 2020), PT I, 2020, 12224 : 299 - 323
12345