CHESS

MaRDI QIDQ34873swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-540-71410-1_2

Cited in

(15)

• Eraser
• Velodrome
• SingleTrack
• RacerX
• Goldilocks
• CTrigger
• bzip2smp
• Falcon
• AVIO
• Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
• Symbolic predictive analysis for concurrent programs
• Automated detection of serializability violations under weak consistency
• BIDE
• Abstraction and mining of traces to explain concurrency bugs
• Stateless model checking under a reads-value-from equivalence

This page was built for software: CHESS