Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions-Reference-Cited by-同舟云学术

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions

Published:2020 Issue: Volume: Page:257-275
ISSN:0302-9743
Container-title:Graph Transformation
language:
Short-container-title:

Author:

Schneider Sven^ORCID,Dyck Johannes^ORCID,Giese Holger^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-51372-6_15

Reference29 articles.

1. Augur 2 (2008). http://www.ti.inf.uni-due.de/en/research/tools/augur2

2. Graphs for Object-Oriented Verification (GROOVE) (2011). http://groove.cs.utwente.nl

3. EMF Henshin (2013). http://www.eclipse.org/modeling/emft/henshin

4. Becker, B., Giese, H.: On safe service-oriented real-time coordination for autonomous vehicles. In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5–7 May 2008, Orlando, Florida, USA, pp. 203–210. IEEE Computer Society (2008). https://doi.org/10.1109/ISORC.2008.13

5. Boneva, I., Rensink, A., Kurbán, M.E., Bauer, J.: Graph abstraction and abstract graph transformation. Technical report LNCS4549/TR-CTIT-07-50, July 2007

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic;Journal of Logical and Algebraic Methods in Programming;2024-02

2. Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems;Lecture Notes in Computer Science;2024

3. Deriving Delay-Robust Timed Graph Transformation System Models;Lecture Notes in Computer Science;2024

4. Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation;Ecological Informatics;2023-07

5. Monadic second-order incorrectness logic for GP 2;Journal of Logical and Algebraic Methods in Programming;2023-01