Model Checking Interlocking Control Tables
Nusmv 2: An opensource tool for symbolic model checking