|
|
|
|
|
|
by kangda123
889 days ago
|
|
|
There are model checkers such as nidhugg (C++), dscheck (ocaml). They take a test case and reach all possible terminal states by trying different interleavings. Crucially, they don’t have to try all interleavings to reach all terminal states, making the enumeration quite fast. |
|
|