MoSeL: A general, extensible modal framework for interactive proofs in separation logic

Robbert Krebbers, Jacques Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan Oliver Kaiser, Amin Timany, Arthur Chargueraud, Derek Dreyer

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'MoSeL: A general, extensible modal framework for interactive proofs in separation logic'. Together they form a unique fingerprint.

Keyphrases