An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model
Crossref DOI link: https://doi.org/10.1007/s10817-020-09579-4
Published Online: 2020-08-14
Published Print: 2021-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hóu, Zhé http://orcid.org/0000-0001-7164-0580
Sanan, David
Tiu, Alwen
Liu, Yang
Hoa, Koh Chuen
Dong, Jin Song
Text and Data Mining valid from 2020-08-14
Version of Record valid from 2020-08-14
Article History
Received: 12 September 2019
Accepted: 7 August 2020
First Online: 14 August 2020