6 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.PL2025★ 1 cited
Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
Andreas Lööw, Seung Hoon Park, Daniele Nantes-Sobrinho +3
Multiple successful compositional symbolic execution (CSE) tools and platforms exploit separation logic (SL) for compositional verification and/or incorrectness separation logic (I…
cs.LO2022★ 6 cited
A Formal CHERI-C Semantics for Verification
Seung Hoon Park, Rekha Pai, Tom Melham
CHERI-C extends the C programming language by adding hardware capabilities, ensuring a certain degree of memory safety while remaining efficient. Capabilities can also be employed…