Safety criteria for Hoorn-Kersenboogerd railway station. Paper presented at [and published in the proceedings of] the 5th conference on computers in railways COMPRAIL '96, Part I `railway systems and management', Berlin, 1996, p. 101-110.

The authors formulate several classes of safety criteria for railway yards in terms of observable behaviour. These criteria are meant to protect trains from collisions and from derailments. The authors identify a number of safety criteria, and present instances of these classes for the case of the railway yard at station Hoorn-Kersenboogerd. These criteria have all been checked by means of the Stålmark theorem prover, using a methodology from Groote, Koorn and Van Vlijmen (1995, see ST 981259). (A)