Coyote: Build Reliable Asynchronous Software(microsoft.com)

https://www.microsoft.com/en-us/research/blog/coyote-making-it-easier-for-developers-to-build-reliable-asynchronous-software/