most citedA Formal CHERI-C Semantics for Verification

6 citations · 7 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

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…