LOCKSMITH
From MaRDI portal
Cited in
(28)- scientific article; zbMATH DE number 6712238 (Why is no real title available?)
- 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
- Sawja
- SANTE
- Eraser
- RacerX
- Threader
- DDVerify
- Goblint
- HAVOC
- RELAY
- Angelic Verification
- ktsan
- MultiRace
- SPECjvm2008
- SPEC Benchmarks
- ThreadSanitizer
- tsan
- CHESS
- Effect-polymorphic behaviour inference for deadlock checking
- 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
