activity
20232026
most citedSufficient Incorrectness Logic: SIL and Separation SIL

3 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing 2026 · cs.LOShow all

2 papers · 2 filters

cs.LO2026

Systematic Design of Separation Logics

Roberto Bruni, Lorenzo Gazzella, Roberta Gori

Thanks to the locality principle, separation logics support modular, scalable analysis of large codebases by relying on local axioms and frame rules to focus only on the heap fragm…

cs.LO2026

A Program Logic for Abstract (Hyper)Properties

Paolo Baldan, Roberto Bruni, Francesco Ranzato +1

We introduce APPL (Abstract Program Property Logic), a unifying Hoare-style logic that subsumes standard Hoare logic, incorrectness logic, and several variants of Hyper Hoare logic…