A heuristic solution for model checking graph transformation systems

被引：0
|
作者：
机构：
[1] Yousefian, Rosa
[2] Rafe, Vahid
[3] Rahmani, Mohsen
来源：
Rafe, Vahid | 1600年 / Elsevier Ltd卷 / 24期
关键词：
69;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] A heuristic solution for model checking graph transformation systems
    Yousefian, Rosse
    Rafe, Vahid
    Rahmani, Mohsen
    [J]. APPLIED SOFT COMPUTING, 2014, 24 : 169 - 180
  • [2] A heuristic solution for model checking graph transformation systems
    Yousefian, Rosa
    Rafe, Vahid
    Rahmani, Mohsen
    [J]. Applied Soft Computing Journal, 2014, 24 : 169 - 180
  • [3] An Efficient Solution for Model Checking Graph Transformation Systems
    Baresi, Luciano
    Rafe, Vahid
    Rahmani, Adel T.
    Spoletini, Paola
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 213 (01) : 3 - 21
  • [4] Automated Model Checking of Stochastic Graph Transformation Systems
    Rafe, Vahid
    Rafeh, Reza
    Miralvand, Mohamad Reza Zand
    Alavizadeh, Alavie Sadat
    [J]. PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT, VOL 1, 2009, : 211 - +
  • [5] Bounded Model Checking of Graph Transformation Systems via SMT Solving
    Isenberg, Tobias
    Steenken, Dominik
    Wehrheim, Heike
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, FMOODS/FORTE 2013, 2013, 7892 : 178 - 192
  • [6] Meta-modelling, graph transformation and model checking for the analysis of hybrid systems
    de Lara, J
    Guerra, E
    Vangheluwe, H
    [J]. APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, 2003, 3062 : 292 - 298
  • [7] Towards automated software model checking using graph transformation systems and Bogor
    Rafe, Vahid
    Rahmani, Adel T.
    [J]. JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE A, 2009, 10 (08): : 1093 - 1105
  • [8] Towards automated software model checking using graph transformation systems and Bogor
    Vahid Rafe
    Adel T. Rahmani
    [J]. Journal of Zhejiang University-SCIENCE A, 2009, 10 : 1093 - 1105
  • [9] Towards automated software model checking using graph transformation systems and Bogor
    Vahid RAFE
    Adel T.RAHMANI
    [J]. Journal of Zhejiang University(Science A:An International Applied Physics & Engineering Journal)., 2009, 10 (08) - 1105
  • [10] k-Inductive Invariant Checking for Graph Transformation Systems
    Dyck, Johannes
    Giese, Holger
    [J]. GRAPH TRANSFORMATION, ICGT 2017, 2017, 10373 : 142 - 158
12345