Identifying Conflicting Routes in Control Table of Indian Railways Interlocking System using NuSMV
fdr3 - a modern refinement checker for csp .