5 ms·

Does anyone in industry use a 'model checker' like this while writing multi-threaded C++ code? Just curious..