Skip to content
conftrace_

shared memory verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

concurrent programming (1) concurrent verification (1) ownership type (1) transition system (1) automated verification (1) state machine (1) formal verification (1)

Papers

Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems OSDI 2023