@inproceedings{f97e7524f82f46fbaeb5617e32df6932,
title = "On the verification of time-dependent protocols using timed reachability analysis",
abstract = " An automated approach to verifying general properties of time-dependent protocols, using a formal model called Time Transmission Grammar Plus (TTG + ), is introduced. The novel part of the approach is to represent the global state of the model as a pair of state and timing constraint matrices. Timed reachability analysis based on such a representation is then developed to verify various protocol properties. A simple multidestination stop-and-wait protocol is used to illustrate the model and the reachability algorithm. ",
author = "Fuchun Lin and Liu, {Ming T.} and Graff, {Charles J.}",
year = "1989",
month = dec,
day = "1",
doi = "10.1109/HICSS.1989.48003",
language = "English",
isbn = "0818619120",
series = "Proceedings of the Hawaii International Conference on System Science",
publisher = "Publ by Western Periodicals Co",
pages = "285--294",
editor = "Shriver, {Bruce D.}",
booktitle = "Proceedings of the Hawaii International Conference on System Science",
note = "Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences: Software Track ; Conference date: 03-01-1989 Through 06-01-1989",
}