Concurrency control
Computing
Software engineering
Model checkers
Software
Promela
Monitor
Mutual exclusion
SPIN model checker
Lock
XC
Printf format string