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 条
  • [1] Verification of Random Graph Transformation Systems
    Kozioura, Vitali
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 175 (04) : 63 - 72
  • [2] A temporal graph logic for verification of graph transformation systems
    Baldan, Paolo
    Corradini, Andrea
    Koenig, Barbara
    Lafuente, Alberto Lluch
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2007, 4409 : 1 - +
  • [3] Towards the Verification of Attributed Graph Transformation Systems
    Koenig, Barbara
    Kozioura, Vitali
    GRAPH TRANSFORMATIONS, ICGT 2008, 2008, 5214 : 305 - 320
  • [4] Application of Graph Transformation in Verification of Dynamic Systems
    Langari, Zarrin
    Trefler, Richard
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2009, 5423 : 261 - 276
  • [5] Applying the graph minor theorem to the verification of graph transformation systems
    Joshi, Salil
    Koenig, Barbara
    COMPUTER AIDED VERIFICATION, 2008, 5123 : 214 - +
  • [6] Compositional verification of reactive systems specified by graph transformation
    Heckel, R
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 138 - 153
  • [7] Modeling and Verification of Reliable Messaging by Graph Transformation Systems
    Goenczy, Laszlo
    Kovacs, Matc
    Varro, Daniel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 175 (04) : 37 - 50
  • [8] Unfolding graph transformation systems:: Theory and applications to verification
    Baldan, Paolo
    Corradini, Andrea
    Koenig, Barbara
    CONCURRENCY, GRAPHS AND MODELS: ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY, 2008, 5065 : 16 - +
  • [9] Parameterized verification of π-calculus systems
    Yang, Ping
    Basu, Samik
    Ramakrishnan, C. R.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 42 - 57
  • [10] Verification of parameterized timed systems
    Abdulla, PA
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 95 - 97
12345