Work

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

Year: 2025

Type: article

Source: Journal of Circuits Systems and Computers

DOI: 10.1142/s0218126625300089

Authors: Lili Xiao, Zhiru Hou, Huibiao Zhu, Mengda He, Shengchao Qin

Institutions: Donghua University, East China Normal University, Teesside University, Xidian University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

Award: G41279851

OpenAlex ID: W4409972047

FWCI: 0.687

Cites: 22

Cited by: 1

Related to: 10