/PSharp

Safe asynchronous event-driven .NET programming.

Primary LanguageC#MIT LicenseMIT

Watchers