Automatic Graph Transformation In System Verification (original) (raw)
Related papers
A Modeling and Verification Approach Based on Graph Transformation
Lecture Notes on Software Engineering, 2013
Model checking graph transformations: A comparison of two approaches
Graph Transformations, 2004
An efficient solution for model checking graph transformation systems
2008
Verification of DSMLs using graph transformation
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09, 2009
Towards automated software model checking using graph transformation systems and Bogor
Journal of Zhejiang University Science, 2009
Towards automated verification of layered graph transformation specifications
Iet Software/iee Proceedings - Software, 2009
A heuristic solution for model checking graph transformation systems
Applied Soft Computing, 2014
Graph transformation for specification and programming
Science of Computer Programming, 1999
Checking and Enforcement of Modeling Guidelines with Graph Transformations
Lecture Notes in Computer Science, 2008
21 Unfolding Techniques for Verifying Graph Transformation Systems
2004
A Combined Graph-Based Approach For Systems Design And Verification
Najet Zoubeir, adel khalfallah
Model transformation by graph transformation: A comparative study
… Workshop on Model …, 2005
Generic and reflective graph transformations for checking and enforcement of modeling guidelines
Journal of Visual Languages & Computing, 2009
Using graph transformation for practical model driven software engineering
Model-driven Software …, 2005
Using Graph Transformations and Graph Abstractions for Software Verification
Gg, 2010
Towards Verifying Model Transformations
Electronic Notes in Theoretical Computer Science, 2008
An Auto-active Approach to Develop Correct Logic-based Graph Transformations
2018
A logic for analyzing abstractions of graph transformation systems
2003
Automatic transformation of UML models for system verification
2001
A Formal Graph Transformation Based Language for Model-to-Model Transformations
2004
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Lecture Notes in Computer Science, 2008
Advances in model transformations by graph transformation: specification, execution and analysis
Rigorous software engineering for service-oriented systems, 2011
Using graph transformation systems to specify and verify data abstractions
2008
Formal verification of model transformations: An automated framework
2010 International Joint Conference on Computational Cybernetics and Technical Informatics, 2010
Towards Translating Graph Transformation Approaches by Model Transformations
2006
Abstraction and Abstraction Refinement in the Verification of Graph Transformation Systems
Verification of DSMLs using graph transformation: a case study with Alloy
2009
Proc. of 2nd International Workshop on Graph and Model Transformation 2006
Graph Transformations and Model-Driven Engineering
Lecture Notes in Computer Science, 2010
Towards Unfolding-Based Verification for Graph Transformation Systems
2003