An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems (original) (raw)
Related papers
A heuristic solution for model checking graph transformation systems
Applied Soft Computing, 2014
21 Unfolding Techniques for Verifying Graph Transformation Systems
2004
Model checking graph transformations: A comparison of two approaches
Graph Transformations, 2004
Journal of Intelligent & Fuzzy Systems, 2016
Automatic Graph Transformation In System Verification
2000
A benchmark evaluation of incremental pattern matching in graph transformation
2008
Towards Unfolding-Based Verification for Graph Transformation Systems
2003
Time and space issues in the generation of graph transition systems
Electronic notes in theoretical computer science, 2005
An efficient solution for model checking graph transformation systems
2008
Towards automated verification of layered graph transformation specifications
Iet Software/iee Proceedings - Software, 2009
Incremental Pattern Matching in Graph-Based State Space Exploration
Electronic Communication of The European Association of Software Science and Technology, 2010
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering
Electronic Proceedings in Theoretical Computer Science, 2014
A framework for the verification of infinite-state graph transformation systems
2008
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Lecture Notes in Computer Science, 2008
Using Graph Transformations and Graph Abstractions for Software Verification
Gg, 2010
Journal of AI and Data Mining, 2020
Stochastic Simulation of Graph Transformation Systems
Lecture Notes in Computer Science, 2010
Soft Computing, 2018
Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations
Abstraction and Abstraction Refinement in the Verification of Graph Transformation Systems
Benchmarking for Graph Transformation
2005
Information and Software Technology, 2018
A static analysis technique for graph transformation systems
2001
Journal of Computer Science and Technology, 2021
A state graph manipulator tool for real-time system specification and verification
Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236)
2004
View-based Modelling and State-Space Generation for Graph Transformation Systems
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Verifying a behavioural logic for graph transformation systems
2004
A Temporal Graph Logic for Verification of Graph Transformation Systems
Recent Trends in Algebraic …, 2007
Optimizing sequential verification by retiming transformations
Proceedings of the 37th conference on Design automation - DAC '00, 2000
Heuristic Search for the Analysis of Graph Transition Systems
2006
Coding, Executing and Verifying Graph Transformations with small-tALCQe
2016
A Modeling and Verification Approach Based on Graph Transformation
Lecture Notes on Software Engineering, 2013
Reliability Engineering & System Safety, 2019