• DocumentCode
    781688
  • Title

    Comments, with reply, on "On the projection method for protocol verification" by T.-Y. Cheung

  • Author

    Hirakawa, Yuki

  • Author_Institution
    NTT Electr. Commun. Lab., Tokyo, Japan
  • Volume
    16
  • Issue
    3
  • fYear
    1990
  • fDate
    3/1/1990 12:00:00 AM
  • Firstpage
    370
  • Lastpage
    371
  • Abstract
    A counterexample to a theorem given in a paper by T.-Y. Cheung (see ibid., vol.12, no.11, p.1088-9, 1986) is given. In a reply, the author of the original paper argues that the counterexample is not correct.<>
  • Keywords
    program verification; protocols; projection method; protocol verification; theorem; Communication systems; Protocols; Safety; Sufficient conditions;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/32.48933
  • Filename
    48933
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=781688