2 citations · 4 across the 4 of their papers we have counts for
Showing 2024 · cs.PLShow all
2 papers · 2 filters
cs.PL2024
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun +3
The introduction of separation logic has led to the development of symbolic execution techniques and tools that are (functionally) compositional with function specifications that c…
cs.PL2024★ 1 cited
A Hybrid Approach to Semi-automated Rust Verification
Sacha-Élie Ayoun, Xavier Denis, Petar Maksimović +1
We propose a hybrid approach to end-to-end Rust verification where the proof effort is split into powerful automated verification of safe Rust and targeted semi-automated verificat…