View in EDS

Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first