Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.
Saved in:
| Title: | Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+. |
|---|---|
| Authors: | Xiao, Lili1, xiaolili@dhu.edu.cn, Hou, Zhiru2, Zhu, Huibiao2, hbzhu@sei.ecnu.edu.cn, He, Mengda3, Qin, Shengchao4 |
| Source: | Journal of Circuits, Systems & Computers; 1/15/2026, Vol. 35 Issue 1, p1-21, 21p |
| Database: | Applied Science & Technology Source |
| ISSN: | 02181266 |
|---|---|
| DOI: | 10.1142/S0218126625300089 |
