Deploy to production :).

You can use a model checker that understands C++11 memory model.