Keyword:reachability property

Publications
Fuzzy Particle Swarm Optimization Algorithm (NFPSO) for Reachability Analysis of Complex Software Systems Nahid Salimi, Vahid Rafe, Hamed Tabrizchi and Amir Mosavi EasyChair Preprint 4328
Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems Nahid Salimi, Vahid Rafe, Hamed Tabrizchi and Amir Mosavi EasyChair Preprint 4327