Skip to search form
Skip to main content
Semantic Scholar's Logo
You are currently offline. Some features of the site may not work correctly.
CHESS model checker
CHESS is a software model checker for finding errors/heisenbugs in multithreaded software by systematic exploration of thread schedules. It finds…
Semantic Scholar uses AI to extract papers important to this topic.
Fair stateless model checking
Corpus ID: 11500448
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
Terms of Service
ACCEPT & CONTINUE