State-Space Analysis and Complexity Assessment of Puzzle Games Using Colored Petri Nets
The verification of complex systems has traditionally relied on semi-automatic theorem-proving methods. However, model checking represents a paradigm shift by enabling automated, exhaustive verification of behavioral properties through systematic state exploration. Among advanced formal verification...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of science and culture
2024-09-01
|
| Series: | International Journal of Web Research |
| Subjects: | |
| Online Access: | https://ijwr.usc.ac.ir/article_211538.html |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|