Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
deadlock
Papers
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 no. 4327
Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification
Thitivatr Patanasakpinyo
In
:
Proceedings of 34th International Conference on Computers and Their Applications
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse
Chuan Jiang
and
Gianfranco Ciardo
In
:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2023 easychair.org. All rights reserved.