Skip to content
conftrace_

concurrent verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

concurrent programming (1) ownership type (1) shared memory verification (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