Browsing by author "Krebbers, Robert"
Now showing items 1-2 of 2
-
Interactive proofs in higher-order concurrent separation logic
Krebbers, Robert; Timany, Amin; Birkedal, Lars (2017) -
MoSeL: A general, extensible modal framework for interactive proofs in separation logic
Krebbers, Robert; Jourdan, Jacques-Henri; Jung, Ralf; Tassarotti, Joseph; Kaiser, Jan-Oliver; Timany, Amin; Chargueraud, Arthur; Dreyer, Derek (2018)