https://5dok.net/document/9yn2ewky-the-vercors-tool-for-verification-of-concurrent-programs.html