https://5dok.net/document/lzg0jg7q-verification-of-concurrent-software-with-vercors.html