LOCKSMITH
From MaRDI portal
Software:32044
swMATH20224MaRDI QIDQ32044FDOQ32044
Author name not available (Why is that?)
Cited In (10)
- Title not available (Why is that?)
- Analysis of correct synchronization of operating system components
- Region Analysis for Race Detection
- Conditional Dyck-CFL reachability analysis for complete and efficient library summarization
- Hash consed points-to sets
- Effect-polymorphic behaviour inference for deadlock checking
- Verification of higher-order concurrent programs with dynamic resource creation
- Dynamic race detection for C++11
- Polymorphic Fractional Capabilities
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
This page was built for software: LOCKSMITH
