Model checker for railway signalling communication protocol

@inproceedings{Hwang2006ModelCF,
  title={Model checker for railway signalling communication protocol},
  author={J Hwang and Hyunjin Jo and Jong Hyup Lee},
  year={2006}
}
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… CONTINUE READING