Questions Tagged [promela]

Process/Protocol Meta Language is a verification modelling language used to verify the logic of parallel systems.

Question is empty. Ask new Question

Popular Questions