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 条
  • [41] Dynamic graph transformation systems
    Bruni, Roberto
    Melgratti, Hernan
    GRAPH TRANSFORMATIONS, PROCEEDINGS, 2006, 4178 : 230 - 244
  • [42] Graph transformation systems in CHR
    Raiser, Frank
    Logic Programming, Proceedings, 2007, 4670 : 240 - 254
  • [43] Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints
    Kourtis, Georgios
    Dixon, Clare
    Fisher, Michael
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 50 (09) : 2458 - 2471
  • [44] Verification and Validation of Activity Diagrams Using Graph Transformation
    Rafe, Vahid
    Rafeh, Reza
    Azizi, Somayeh
    Miralvand, Mohamad Reza Zand
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT, VOL 1, 2009, : 201 - +
  • [45] Towards automated verification of layered graph transformation specifications
    Rafe, V.
    Rahmani, A. T.
    Baresi, L.
    Spoletini, P.
    IET SOFTWARE, 2009, 3 (04) : 276 - 291
  • [46] A graph grammar approach to software architecture verification and transformation
    Kong, J
    Zhang, K
    Dong, J
    Song, GL
    27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2003, : 492 - 497
  • [47] Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems
    Charvat, Lukas
    Smrcka, Ales
    Vojnar, Tomas
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, 2015, 9520 : 605 - 614
  • [48] Parameterized verification of systems with component identities, using view abstraction
    Lowe, Gavin
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (02) : 287 - 324
  • [49] Parameterized verification of systems with component identities, using view abstraction
    Gavin Lowe
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 287 - 324
  • [50] Unfold/fold transformations for automated verification of parameterized concurrent systems
    Roychoudhury, A
    Ramakrishnan, CR
    PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT, 2004, 3049 : 261 - 290
12345