The P programming language.
programming-language
distributed-systems
state-machine
robotics
asynchronous
systematic-testing
event-driven
model-checking
formal-methods
p
formal-verification
-
Updated
Nov 2, 2024 - C#