CHESS

MaRDI QIDQ34873swMATHFDO

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

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