p-org / P

Loading

关于

The P programming language.

p-org.github.io

asynchronous 编程语言 systematic-testing event-driven p distributed-systems Finite-state machine model-checking formal-methods formal-verification

创建时间

2015-06-21

是否国产

否

语言

C#45.3%
OpenEdge ABL27.7%
Java18.2%
C6.9%
Python0.8%
Shell0.5%
ANTLR0.3%
CMake0.1%
其他0.01%

该仓库已收录但尚未编辑。项目介绍及使用教程请前往 GitHub 阅读 README

0 条讨论

登录后发表评论

p-org 的其他开源项目

A framework for rapid development of reliable asynchronous software.

asynchronous-programming reliability specifications Test automation state-machines

C#391

5 年前