Login / Signup
Koh Chuen Hoa
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 2
Top Topics
Sufficient Conditions
Instruction Set Architecture
Operating System
Parallel Processing
Top Venues
FM
J. Autom. Reason.
</>
Publications
</>
Zhé Hóu
,
David Sanán
,
Alwen Tiu
,
Yang Liu
,
Koh Chuen Hoa
,
Jin Song Dong
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model.
J. Autom. Reason.
65 (4) (2021)
Zhe Hou
,
David Sanán
,
Alwen Tiu
,
Yang Liu
,
Koh Chuen Hoa
An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor.
FM
(2016)