Cited in
(15)- Stateless model checking under a reads-value-from equivalence
- Automated detection of serializability violations under weak consistency
- Symbolic predictive analysis for concurrent programs
- Eraser
- Velodrome
- SingleTrack
- RacerX
- Goldilocks
- AVIO
- bzip2smp
- CTrigger
- Falcon
- BIDE
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Abstraction and mining of traces to explain concurrency bugs
This page was built for software: CHESS
