PSharp
A framework for building, analyzing, systematically testing and debugging asynchronous reactive software. P# is used by engineers in Azure to design, implement and thoroughly test distributed systems and services.
To learn more about PSharp, please visit the GitHub repository.
To learn more about the distributed cloud testing tool I developed for PSharp, please visit this GitHub repository