Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.

Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou

Browse the full RE paper archive.