Explicit state model checking for graph grammars

被引：0
|
作者：
Rensink, Arend [1 ]
机构：
[1] Univ Twente, Dept Comp Sci, Enschede, Netherlands
来源：
CONCURRENCY, GRAPHS AND MODELS: ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY | 2008年 / 5065卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we present the philosophy behind the GROOVE project, in which graph transformation is used as a modelling formalism on top of which a model checking approach to software verification is being built. We describe the basic formalism, the current state of the project, and (current and future) challenges.
引用
收藏
页码：114 / 132
页数：19
相关论文
共 50 条
  • [1] Explicit state model checking with Hopper
    Jones, M
    Mercer, E
    [J]. MODEL CHECKING SOFTWARE, 2004, 2989 : 146 - 150
  • [2] AutoHyper: Explicit-State Model Checking for HyperLTL
    Beutner, Raven
    Finkbeiner, Bernd
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2023, 2023, 13993 : 145 - 163
  • [3] An FPGA Implementation of Explicit-State Model Checking
    Fuess, Mary Ellen
    Leeser, Miriam
    Leonard, Tim
    [J]. PROCEEDINGS OF THE SIXTEENTH IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, 2008, : 119 - +
  • [4] Load Balancing Parallel Explicit State Model Checking
    Kumar, Rahul
    Mercer, Eric G.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (03) : 19 - 34
  • [5] Quo Vadis Explicit-State Model Checking
    Sankowski, Piotr
    [J]. SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2015, 8939 : 46 - 57
  • [6] Hardness for explicit state software model checking benchmarks
    Rungta, Neha
    Mercer, Eric G.
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 247 - +
  • [7] Explicit State Model Checking with Generalized Buchi and Rabin Automata
    Bloemen, Vincent
    Duret-Lutz, Alexandre
    van de Pol, Jaco
    [J]. SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 50 - 59
  • [8] Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques
    Leblebici, Erhan
    Anjorin, Anthony
    Schuerr, Andy
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2017, 2017, 10202 : 191 - 207
  • [9] Interface grammars for modular software model checking
    Hughes, Graham
    Bultan, Tevfik
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2008, 34 (05) : 614 - 632
  • [10] Interface grammars for modular software model checking
    University of California
    [J]. ACM Int. Symp. Softw. Test. Anal, 2007, (39-49):
12345