/

formal-methods

event-driven
state-machine
asynchronous
programming-language
robotics
distributed-systems
systematic-testing
p
model-checking
formal-verification

p-org/P
502日前2.9k

The P programming language.

formal-methods
event-driven
state-machine
asynchronous
programming-language
robotics
distributed-systems
systematic-testing
p
model-checking
formal-verification