Seung Hoon Park

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Precisely Defined

Machine Processable

Formal Languages

Conceptual Model

Top Venues

Arch. Formal Proofs

Publications

Seung Hoon Park, Rekha R. Pai, Tom Melham
A Formal CHERI-C Semantics for Verification. TACAS (1) (2023)
Seung Hoon Park
A Formal CHERI-C Memory Model. Arch. Formal Proofs 2022 (2022)
Seung Hoon Park, Rekha Pai, Tom Melham
A Formal CHERI-C Semantics for Verification. CoRR (2022)