P

Repositories

• P

  The P programming language.

  language programming-language robotics asynchronous systematic-testing event-driven drones
  C# MIT 103 1,960 18 3 Updated Aug 6, 2020

• PSharp

  A framework for rapid development of reliable asynchronous software.

  dotnet reliability specifications asynchronous-programming state-machines automated-testing
  C# MIT 36 375 43 2 Updated Jun 15, 2020

• PSymbolic

  This repository implements the symbolic execution engine for P

  symbolic-execution-engine
  Java 0 2 0 0 Updated Jun 7, 2020

• nekara-csharp

  C# language bindings for Nekara.
  C# MIT 0 1 0 1 Updated Mar 31, 2020

• ControlledOrleans

  Orleans on Nekara
  C# MIT 0 1 0 0 Updated Feb 24, 2020

• TraceViewer

  View buggy execution traces by the P# tester
  C# MIT 0 0 0 0 Updated Dec 11, 2019

• ControlledFolly

  Folly on Nekara
  C++ 1 2 0 0 Updated Dec 3, 2019

• ServiceFabric.Mocks

  Forked from loekd/ServiceFabric.Mocks

  ServiceFabric.Mocks contains Mock classes to enable unit testing of Actors and Services
  C# MIT 51 0 0 0 Updated Aug 23, 2019

• Sublime-P

  Sublime plugin for P
  MIT 1 2 1 0 Updated Aug 19, 2019

• typescript-actors

  State machine and actor libraries for TypeScript/JavaScript.

  javascript typescript actors asynchronous systematic-testing event-driven state-machines
  TypeScript MIT 1 8 1 0 Updated Jul 24, 2019

• plditutorial

  Safe Asynchronous Programming: Methodology, Language, and Tools
  BSD-2-Clause 0 2 0 0 Updated Jun 23, 2019

• TraceVisualizer

  Tool for visualization of execution traces as Message Sequence Charts in ShiViz
  C# 0 3 0 0 Updated Mar 14, 2018

• PSharpBatchTesting

  Cloud testing for P# using Azure Batch Service.

  dotnet azure-batch psharp cloud-testing
  C# 0 2 3 0 Updated Feb 25, 2018

• P-Boogie-Translation

  P to Boogie translation
  OpenEdge ABL 2 1 3 0 Updated Aug 15, 2017

• PSharpModels

  Robust Unit Testing of Service Fabric and Orleans Applications.
  C# MIT 1 9 0 0 Updated Nov 11, 2016

• P-RandomTest

  Tool for random testing of P generated C code (based on Mono)
  C MIT 2 5 1 0 Updated May 13, 2016