Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Stateless model checking is a useful state-space exploration technique for systematically testing complex real-world software… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • table 1