/

model-checking

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

p-org/P
354日前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