特殊用法back contact proving1.后接点检验block proving1.闭塞检查correspondence proving1.符合检查, 对应检查; 通信证明cross proving1.相互检查facing point lock proving1.对向道岔锁闭检查mechanical theorem proving1.机器证明"off" signal proving1.开放信号检查signal light proving1.信号灯检查theorem proving1.定理证明[验证]