CPD : a linear temporal logic over finite traces guided model checking tool.
Saved in:
| Title: | CPD : a linear temporal logic over finite traces guided model checking tool. |
|---|---|
| Authors: | Zeng, Xiangqi1,2, z3444527797@163.com, Wang, Meng1,2, wangmenghbu@hbu.edu.cn, Wang, Miao1, wm@hbu.edu.cn, Lu, Xu3, xlu@xidian.edu.cn |
| Source: | Software Quality Journal; Dec2025, Vol. 33 Issue 4, p1-21, 21p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09639314 |
|---|---|
| DOI: | 10.1007/s11219-025-09729-0 |
