Identifying Conflicting Routes in Control Table of Indian Railways Interlocking System using NuSMV
Temporal and Modal Logic