Identifying Conflicting Routes in Control Table of Indian Railways Interlocking System using NuSMV


A “control table” is a functional specification of the signaling system of a railway section. It specifies the routes on which trains are allowed to pass. Control table for interlocking system in Indian Railways is done by a vendor. This control table is verified for correctness by another vendor. The process followed to generate this control table remains… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics