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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
Highly Cited
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