Model checker for railway signalling communication protocol

  title={Model checker for railway signalling communication protocol},
  author={J Hwang and Hyunjin Jo and Jong Hyup Lee},
As a very important part in the development of the protocol, verifications for a developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, a little ambiguity may be contained in the protocol. This indwelling ambiguity in control systems can be the cause of accidents, especially for safety-critical systems. To clear the ambiguity contained… CONTINUE READING