CHESS

swMATH23089MaRDI QIDQ34873FDOQ34873

Author name not available (Why is that?)

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