plv.mpi-sws.org: 4 stories from 4 submitters

  1. 4
    GenMC: Model checking for concurrent C programs ☶ c formalmethods plv.mpi-sws.org
    Forty-Bot avatar via Forty-Bot 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 1
    GhostCell: Separating Permissions from Data in Rust (2021) rust plv.mpi-sws.org
    5d22b avatar via 5d22b 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 13
    RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types c formalmethods plv.mpi-sws.org
    sanxiyn avatar via sanxiyn 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments