p-org
Github

代码库

p-org/P
3.7k
The P programming language.
C#
asynchronousdistributed-systemsevent-drivenformal-methodsformal-verificationmodel-checkingpprogramming-languagestate-machinesystematic-testing