Skip to search formSkip to main contentSkip to account menu

CHESS model checker

Known as: Chess (disambiguation) 
CHESS is a software model checker for finding errors/heisenbugs in multithreaded software by systematic exploration of thread schedules. It finds… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
DeadlockHeisenbugModel checkingStress testing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Fair stateless model checking
Stateless model checking is a useful state-space exploration technique for systematically testing complex real-world software… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)