swMATH20224MaRDI QIDQ32044FDOQ32044
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1134019
Cited In (27)
- 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
- SANTE
- Eraser
- RacerX
- Threader
- Effect-polymorphic behaviour inference for deadlock checking
- DDVerify
- Goblint
- HAVOC
- RELAY
- Angelic Verification
- ktsan
- MultiRace
- SPECjvm2008
- SPEC Benchmarks
- ThreadSanitizer
- tsan
- CHESS
- DeepWukong
- 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
