microsoft/coyote is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
Similar projects and alternatives to coyote based on common topics and language
A static web application to explore and animate a TLA+ state graph.
Scout APM - Leading-edge performance monitoring starting at $39/month. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
The P programming language.
A simple library for creating state machines in C# code
A state machine library for .Net - 100% code - No doodleware
A .net library that lets you build state machines (hierarchical, async with fluent definition syntax and reporting capabilities).
Efficient asynchronous and synchronous state machines for .NET
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
TLA+ Graph Explorer
news.ycombinator.com | 2021-04-07
Visualizations do help a lot when model checkers and concurrency schedule exploration tools like Coyote find bugs. Coyote include the ability to visualize the traces if you express your concurrency using actors (see https://microsoft.github.io/coyote/#concepts/actors/state-ma...)
It also allows you to implement your own "logger" through which you can emit enough information to construct some cool visualizations. I had a lot of fun working on visualizing an implementation of Paxos using Coyote (then P#) (screenshot at https://ibb.co/TTk2hYb)
Find those pesky concurrency bugs
news.ycombinator.com | 2021-04-06
If curious, you can learn more in the Coyote website https://microsoft.github.io/coyote
Finding concurrency bugs in .NET services using Coyote
news.ycombinator.com | 2021-03-21
The tweet links to a couple of tutorials showing how to test an extremely simple CRUD service using Coyote to find concurrency bugs. Developers write simple unit tests whose concurrency is explored by Coyote to find bugs. You might be surprised to learn how we can write a number of interesting concurrency tests for even the simplest of CRUD services.
Finding threading issues in code quickly
reddit.com/r/csharp | 2020-12-24
The closest I can think of is https://github.com/microsoft/coyote