[inaseer]

Super happy to see Coyote publicly released. Our team within Azure has used it on a number of services and cannot say enough good things about it. It has allowed us to develop code knowing that safety and liveness violations due to subtle race conditions are caught in testing and design time instead of production! For folks familiar with software verification tools, you might know the project as P#. Coyote is an evolution of P# and adds support for testing task-based programming (.NET's TPL framework) in addition to the state-machine based actor programming model.