Login / Signup
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model.
Zhé Hóu
David Sanán
Alwen Tiu
Yang Liu
Koh Chuen Hoa
Jin Song Dong
Published in:
J. Autom. Reason. (2021)
Keyphrases
</>
probabilistic model
real time
management system
operating system