Model checking graph transformations: A comparison of two approaches (original) (raw)
Related papers
An efficient solution for model checking graph transformation systems
2008
Automatic Graph Transformation In System Verification
2000
Using Graph Transformations and Graph Abstractions for Software Verification
Gg, 2010
A heuristic solution for model checking graph transformation systems
Applied Soft Computing, 2014
Towards automated verification of layered graph transformation specifications
Iet Software/iee Proceedings - Software, 2009
21 Unfolding Techniques for Verifying Graph Transformation Systems
2004
Towards automated software model checking using graph transformation systems and Bogor
Journal of Zhejiang University Science, 2009
Using graph transformation systems to specify and verify data abstractions
2008
A Modeling and Verification Approach Based on Graph Transformation
Lecture Notes on Software Engineering, 2013
Explicit state model checking for graph grammars
Concurrency, Graphs and Models, 2008
Checking and Enforcement of Modeling Guidelines with Graph Transformations
Lecture Notes in Computer Science, 2008
Formal verification of model transformations: An automated framework
2010 International Joint Conference on Computational Cybernetics and Technical Informatics, 2010
Verification of DSMLs using graph transformation
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09, 2009
Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations
Abstraction and Abstraction Refinement in the Verification of Graph Transformation Systems
An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems
IEEE Access
Towards Unfolding-Based Verification for Graph Transformation Systems
2003
Towards Verifying Model Transformations
Electronic Notes in Theoretical Computer Science, 2008
Generic and reflective graph transformations for checking and enforcement of modeling guidelines
Journal of Visual Languages & Computing, 2009
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Lecture Notes in Computer Science, 2008
An Auto-active Approach to Develop Correct Logic-based Graph Transformations
2018
A Combined Graph-Based Approach For Systems Design And Verification
Najet Zoubeir, adel khalfallah
A logic for analyzing abstractions of graph transformation systems
2003
A framework for the verification of infinite-state graph transformation systems
2008
Towards model checking graph grammars
Workshop on Automated Verification of Critical …
Verification of DSMLs using graph transformation: a case study with Alloy
2009
Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure
Lecture Notes in Computer Science, 2013
Proc. Workshop on Automated Verification of Critical …, 2003
Verifying a behavioural logic for graph transformation systems
2004
A temporal graph logic for verification of graph transformation systems
2007
Towards a Maude Tool for Model Checking Temporal Graph Properties
Electronic Communication of The European Association of Software Science and Technology, 2011
Formal verification of control-flow graph flattening
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016, 2016
Efficient model checking by automated ordering of transition relation partitions
Lecture Notes in Computer Science, 1994
Verification and validation of declarative model-to-model transformations through invariants
2010