LOCKSMITH
From MaRDI portal
Cited in
(28)- DeepWukong
- Sawja
- SANTE
- Eraser
- Hash consed points-to sets
- Threader
- RacerX
- Analysis of correct synchronization of operating system components
- scientific article; zbMATH DE number 6712238 (Why is no real title available?)
- Conditional Dyck-CFL reachability analysis for complete and efficient library summarization
- Verification of higher-order concurrent programs with dynamic resource creation
- Goblint
- RELAY
- DDVerify
- HAVOC
- SPECjvm2008
- SPEC Benchmarks
- Angelic Verification
- tsan
- ktsan
- MultiRace
- ThreadSanitizer
- Effect-polymorphic behaviour inference for deadlock checking
- Polymorphic Fractional Capabilities
- Region Analysis for Race Detection
- CHESS
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Dynamic race detection for C++11
This page was built for software: LOCKSMITH
