Published April 2, 2026 | Version v2
Software Open

A logic for reasoning with mailbox types in separation logic

Authors/Creators

  • 1. ROR icon Radboud University Nijmegen

Contributors

  • 1. ROR icon Radboud University Nijmegen

Description

The artifact of my master thesis "A logic for reasoning with mailbox types in separation logic".

Files

artifact.zip

Files (31.4 kB)

Name Size Download all
md5:70137cd548bc94fc3731e61cbff74f72
31.4 kB Preview Download