Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka. Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. STTT, 4(4):505-528, 2003. [doi]
@article{DongDHS03, title = {Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking}, author = {Yifei Dong and Xiaoqun Du and Gerard J. Holzmann and Scott A. Smolka}, year = {2003}, doi = {10.1007/s10009-002-0092-3}, url = {http://dx.doi.org/10.1007/s10009-002-0092-3}, tags = {case study, model checking, meta-model, protocol, Meta-Environment}, researchr = {https://researchr.org/publication/DongDHS03}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {4}, number = {4}, pages = {505-528}, }