A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Shahrood University of Technology
2020-04-01
|
| Series: | Journal of Artificial Intelligence and Data Mining |
| Subjects: | |
| Online Access: | http://jad.shahroodut.ac.ir/article_1664_8d28118e956a6dd570d11c401d1566e4.pdf |