GitHub repository: p-org/PSharp
Primary language: C#
Description: A framework for rapid development of reliable asynchronous software.