Automatic Verification of Safety Rules for a Subway Control Software

Biere, 1999, Symbolic model checking without BDDs, number 1579, 193 Bryant, 1986, Graph-based algorithms for boolean function manipulation, IEEE Transactions on Computers, C35, 677, 10.1109/TC.1986.1676819 Cimatti, 2000, NuSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer, 2, 410, 10.1007/s100090050046 Clarke, 1999 Dipoppa, 2001, Integrating automatic verification of safety requirements in railway interlocking system design, 209 Eisner, 1999, Using symbolic model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard, number 1703, 97 Fokkink, 1995, Safety criteria for Hoorn-Kersenboogerd railway station, 135 Huber, 2002, Towards an integrated model checker for railway signalling data, number 2391, 204 McMillan, 1993 Winter, 2002, Model checking railway interlocking systems, Australian Computer Science Communications, 24, 303 Winter, 2003, Modelling large railway interlockings and model checking small ones, 309