Safe asynchronous event-driven .NET programming.
This repo is for experimentation and exploring new ideas that may or may not make it into the main P# project.
The P programming language.
P to Boogie translation
Cloud testing for P# using Azure Batch Service.
Safe asynchronous event-driven C++ programming.
Sublime plugin for P
Robust Unit Testing of Service Fabric and Orleans Applications.
APIs for control-flow and data-flow analysis in Roslyn.
Tool for random testing of P generated C code (based on Mono)