6 citations · 6 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017
Revisiting concurrent separation logic
Pedro Soares, António Ravara, Simão Melo de Sousa
We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary n…
cs.LO2008
Lissom, a Source Level Proof Carrying Code Platform
Joao Gomes, Daniel Martins, Simao Melo de Sousa +1
This paper introduces a proposal for a Proof Carrying Code (PCC) architecture called Lissom. Started as a challenge for final year Computing students, Lissom was thought as a mean…