3 citations · 6 across the 3 of their papers we have counts for
4 papers
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…
The Simulation Semantics of Synthesisable Verilog
Andreas Lööw
Despite numerous previous formalisation projects targeting Verilog, the semantics of Verilog defined by the Verilog standard -- Verilog's simulation semantics -- has thus far elude…
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…
Exact Separation Logic (Extended Version)
Petar Maksimović, Caroline Cronjäger, Andreas Lööw +2
Over-approximating (OX) program logics, such as separation logic (SL), are used for verifying properties of heap-manipulating programs: all terminating behaviour is characterised,…