bn:00931934n
Noun Concept
IT
No term available
EN
CHESS is a software model checker for finding errors/heisenbugs in multithreaded software by systematic exploration of thread schedules. Wikipedia
Sources