Version 1
: Received: 12 October 2020 / Approved: 14 October 2020 / Online: 14 October 2020 (10:58:37 CEST)
How to cite:
Salimi, N.; Rafe, V.; Tabrizchi, H.; Mosavi, A. Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems. Preprints2020, 2020100303. https://doi.org/10.20944/preprints202010.0303.v1
Salimi, N.; Rafe, V.; Tabrizchi, H.; Mosavi, A. Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems. Preprints 2020, 2020100303. https://doi.org/10.20944/preprints202010.0303.v1
Salimi, N.; Rafe, V.; Tabrizchi, H.; Mosavi, A. Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems. Preprints2020, 2020100303. https://doi.org/10.20944/preprints202010.0303.v1
APA Style
Salimi, N., Rafe, V., Tabrizchi, H., & Mosavi, A. (2020). Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems. Preprints. https://doi.org/10.20944/preprints202010.0303.v1
Chicago/Turabian Style
Salimi, N., Hamed Tabrizchi and Amir Mosavi. 2020 "Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems" Preprints. https://doi.org/10.20944/preprints202010.0303.v1
Abstract
model checking techniques are often used for the verification of software systems. Such techniques are accompanied with several advantages. However, state space explosion is one of the drawbacks to model checking. During recent years, several methods have been proposed based on evolutionary and meta-heuristic algorithms to solve this problem. In this paper, a hybrid approach is presented to cope with the SSE problem in model checking of systems modeled by GTS with an ample state space. Most of existence proposed methods that aim to verify systems are applied to detect deadlocks by graph transformations. The proposed approach is based on the fuzzy genetic algorithm and is designed to decline the safety property by verifying the reachability property and detecting deadlocks. In this solution, the state space of the system is searched by a fuzzy genetic algorithm to find the state in which the specified property is refuted/verified. To implement and evaluate the suggested approach, GROOVE is used as a powerful designing and model checking toolset in GTS. The experimental results indicate that the presented hybrid fuzzy method improves speed and performance by comparing other techniques
Keywords
fuzzy genetic algorithm; reachability property; deadlock; model checking
Subject
Computer Science and Mathematics, Algebra and Number Theory
Copyright:
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.