Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations (original) (raw)
Related papers
Soft Computing, 2018
A heuristic solution for model checking graph transformation systems
Applied Soft Computing, 2014
Applied Soft Computing, 2016
Reliability Engineering & System Safety, 2019
Journal of Computer Science and Technology, 2021
Journal of AI and Data Mining, 2020
Model checking graph transformations: A comparison of two approaches
Graph Transformations, 2004
Automatic Graph Transformation In System Verification
2000
2002
Journal of Systems and Software, 2017
H.: Survey on directed model checking
2012
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking
ArXiv, 2017
Searching for Safety Violations Using Estimation of Distribution Algorithms
2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 2010
A Combined Graph-Based Approach For Systems Design And Verification
Najet Zoubeir, adel khalfallah
Survey on Directed Model Checking
Ansgar Fehnker, Dragan Bošnački
Lecture Notes in Computer Science, 2009
Towards automated software model checking using graph transformation systems and Bogor
Journal of Zhejiang University Science, 2009
Checking and Enforcement of Modeling Guidelines with Graph Transformations
Lecture Notes in Computer Science, 2008
Model Checking Safety-Critical Systems Using Safecharts
IEEE Transactions on Computers, 2007
Journal of Intelligent & Fuzzy Systems, 2016
Heuristic Search for the Analysis of Graph Transition Systems
2006
An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems
IEEE Access
26th IEEE VLSI Test Symposium (vts 2008), 2008
Enhancing symbolic model checking by AI techniques
1997
MDG-SAT: An Automated methodology for Efficient Safety Checking
A Modeling and Verification Approach Based on Graph Transformation
Lecture Notes on Software Engineering, 2013
Scalable graph analyzing approach for software fault-localization
Proceeding of the 6th international workshop on Automation of software test - AST '11, 2011
Finding faults quickly in formal models using random search
2003
Model checking through symbolic reachability graph
Lecture Notes in Computer Science, 1997
Symbolic Fault Tree Analysis for Reactive Systems
Lecture Notes in Computer Science, 2007
Verification of DSMLs using graph transformation
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09, 2009
Using Graph Transformations and Graph Abstractions for Software Verification
Gg, 2010
Checking and Correcting Safety Properties using Compositional Reachability Analysis
1999
Symbolic Observation Graph-Based Generation of Test Paths
Lecture Notes in Computer Science, 2023
Computer Science & Information Technology (CS & IT) Computer Science Conference Proceedings (CSCP)
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering
Electronic Proceedings in Theoretical Computer Science, 2014