PSharp
PSharp copied to clipboard
p-org
A framework for rapid development of reliable asynchronous software.
The following leads to a P# parse error: `event e(f: T) where T: class;`
The liveness temperature threshold checking is turned off silently right now, if the underlying bug-finding scheduling strategy produces unfair executions (e.g budgeted strategies). We should ideally give some warning regarding...
Pantazis did some early work on a few a couple years ago in the VisualStudio directory. Finish these and add new ones.
We should pass the event that triggered an action as the parameter to this action. The user will then declare (for example): ``` on SomeEvent do SomeAction; SomeAction(SomeEvent e) {...
A simple approach. ``` csharp MachineId id = CreateMachine(); // No static checking. But the type of the machine is at least known to the coder and the IDE. //...
