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