Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,782,947 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Deadlock
Heisenbug
Model checking
Stress testing
Expand
Search for papers about CHESS model checker
Search papers