skneko-upv/train-interlocking

Model of a concurrent train interlocking system for formal verification

Promela